Symmetries in Modal Logics

Areces, C. and Orbe, E.. 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: (download)

@ARTICLE{arec:symm15,
  author = {Areces, C. and Orbe, E.},
  title = {Symmetries in Modal Logics},
  journal = {Bulletin of Symbolic Logic},
  year = {2015},
  volume = {21},
  pages = {373--401},
  number = {4},
  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}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49