Symmetries in Modal Logics
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe
Electronic Proceedings in Theoretical Computer Science · 2013
doi:10.4204/eptcs.113.6 (opens in a new tab)
We email you when a new notice or a question about this paper appears.
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.
Abstract licence: CC BY-NC-ND
Reads
Read by people on this page
None yet.
Checked or read by AI through naulon
None yet.
A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.
Are you an author?
Is this your paper?
Claim it to add your note and be paid when agents cite it. Free.