%0 Journal Article
%T Symmetries in Modal Logics
%A Carlos Areces
%A Guillaume Hoffmann
%A Ezequiel Orbe
%J Electronic Proceedings in Theoretical Computer Science
%D 2013
%I Open Publishing Association
%R 10.4204/eptcs.113.6
%X 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.
%U http://arxiv.org/pdf/1303.7327v1