Symmetries in Modal Logics
Logic in Computer Science
2013-04-01 v1 Artificial Intelligence
Abstract
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.
Keywords
Cite
@article{arxiv.1303.7327,
title = {Symmetries in Modal Logics},
author = {Carlos Areces and Guillaume Hoffmann and Ezequiel Orbe},
journal= {arXiv preprint arXiv:1303.7327},
year = {2013}
}
Comments
In Proceedings LSFA 2012, arXiv:1303.7136