Symmetries in Modal Logics

03/29/2013
by   Carlos Areces, et al.
0

We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models and, hence, the results apply to a wide class of modal logics including, for example, hybrid logics. Our main result shows that the symmetries of a modal formula preserve entailment.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset