Symmetries in Modal Logics: A Coinductive Approach
| Title | Symmetries in Modal Logics: A Coinductive Approach |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Areces, C, Hoffmann, G, Orbe, E |
| Conference Name | Proceedings of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012) |
| Date Published | September |
| Conference Location | Rio de Janeiro |
| Abstract | We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models introduced in [4] 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: if \sigma is a symmetry of \phi then \phi |= \psi if and only if \phi |= \sigma(\psi). |
Work Package:
WP2
