Symmetries in Modal Logics

C. Areces and E. Orbe. Symmetries in Modal Logics. Bulletin of Symbolic Logic, 21(4):373–401, 2015.

Download

[pdf] 

Abstract

In this paper we develop the theoretical foundations to exploit symmetries in modal logics. We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas using the framework provided by coinductive modal models introduced in [1].Hence, the results apply to a wide class of modal logics including, for example, hybrid logics. We present two graph constructions that enable the reduction of symmetry detection in modal formulas to the graph automorphism detection problem, and we evaluate the graph constructions on modal benchmarks.

BibTeX

@Article{Areces2015d,
  author =       "C. Areces and E. Orbe",
  journal =      "Bulletin of Symbolic Logic",
  title =        "Symmetries in Modal Logics",
  year =         "2015",
  number =       "4",
  pages =        "373--401",
  volume =       "21",
  abstract =     "In this paper we develop the theoretical foundations
                 to exploit symmetries in modal logics. We generalize
                 the notion of symmetries of propositional formulas in
                 conjunctive normal form to modal formulas using the
                 framework provided by coinductive modal models
                 introduced in [1].Hence, the results apply to a wide
                 class of modal logics including, for example, hybrid
                 logics. We present two graph constructions that enable
                 the reduction of symmetry detection in modal formulas
                 to the graph automorphism detection problem, and we
                 evaluate the graph constructions on modal benchmarks.",
  owner =        "areces",
  timestamp =    "2015.09.01",
}