Controlled model exploration

C. Areces, G. Infante López, and M. de Rijke. Controlled model exploration. In Ph. Balbiani, N. Suzuki, F. Wolter, and M. Zakharyaschev, editors, Advances in Modal Logic, pp. 1–16, World Scientific Publishing Co. Pte. Ltd., 2003. Extended version of ``Decomposing Modal Logic'' (Areces, Infante-Lopez and de Rijke)

Download

[pdf] 

Abstract

We provide a detailed analysis of very weak fragments of modal logic. 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

@InCollection{Areces2003d,
  author =       "C. Areces and G. Infante L{\'o}pez and M. de Rijke",
  booktitle =    "Advances in Modal Logic",
  title =        "Controlled model exploration",
  year =         "2003",
  editor =       "Ph. Balbiani and N. Suzuki and F. Wolter and M.
                 Zakharyaschev",
  note =         "Extended version of ``Decomposing Modal Logic''
                 (Areces, Infante-Lopez and de Rijke)",
  pages =        "1--16",
  abstract =     "We provide a detailed analysis of very weak fragments
                 of modal logic. 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.",
  publisher =    "World Scientific Publishing Co. Pte. Ltd.",
  volume =       "4",
  ISBN =         "0-9543006-2-9",
}