Decomposing Modal Logic

C. Areces, G. Infante López, and M. de Rijke. Decomposing Modal Logic. In Proceedings of Advances in Modal Logic 2002, Toulouse, France, 2002.

Download

[pdf] 

Abstract

We provide a detailed analysis of very weak fragments of modal logics. Our fragments lack connectives that introduce non-determinism and they feature restrictions on the modal operators, which may lead to substantial reductions in complexity. Our main result is a general game-based characterization of the expressive power of our fragments over the class of finite structures.

BibTeX

@InProceedings{Areces2002d,
  author =       "C. Areces and G. Infante L{\'o}pez and M. de Rijke",
  booktitle =    "Proceedings of Advances in Modal Logic 2002",
  title =        "Decomposing Modal Logic",
  year =         "2002",
  abstract =     "We provide a detailed analysis of very weak fragments
                 of modal logics. Our fragments lack connectives that
                 introduce non-determinism and they feature restrictions
                 on the modal operators, which may lead to substantial
                 reductions in complexity. Our main result is a general
                 game-based characterization of the expressive power of
                 our fragments over the class of finite structures.",
  address =      "Toulouse, France",
}