Symmetries in Modal Logics
arXiv:1303.7327v13 citations
Originality Synthesis-oriented
AI Analysis
This work addresses theoretical foundations for modal logics, including hybrid logics, but appears incremental as it extends existing symmetry concepts.
The paper generalizes symmetries from propositional formulas to modal formulas using coinductive models, showing that symmetries of a modal formula preserve entailment.
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.