Symmetries in Modal Logics: A Coinductive Approach

TitleSymmetries in Modal Logics: A Coinductive Approach
Publication TypeConference Paper
Year of Publication2012
AuthorsAreces, C, Hoffmann, G, Orbe, E
Conference NameProceedings of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012)
Date PublishedSeptember
Conference LocationRio de Janeiro
AbstractWe 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