I understand that when folks say “modal logic” in this context, they’re generally referring to model logics that implicitly quantify over poorly-defined spaces. However, that’s not what all modal logics are like...
Consider my eyes opened.
Equivalently: you can use whatever logical operators you like, if you can define the operator’s meaning without reference to the operator.
This is my problem with the modal logics I have encountered—bad or unclear definitions of the modal operators.
Consider my eyes opened.
This is my problem with the modal logics I have encountered—bad or unclear definitions of the modal operators.