Symmetries in Modal Logics

Carlos Areces
(FaMAF - Universidad Nacional de Córdoba, CONICET)
Guillaume Hoffmann
(FaMAF - Universidad Nacional de Córdoba)
Ezequiel Orbe
(FaMAF - Universidad Nacional de Córdoba, CONICET)

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.

In Delia Kesner and Petrucio Viana: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012), Rio de Janeiro, Brazil, September 29-30, 2012, Electronic Proceedings in Theoretical Computer Science 113, pp. 27–44.
Published: 28th March 2013.

ArXived at: http://dx.doi.org/10.4204/EPTCS.113.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org