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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.113.6 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |