Controlled model exploration

Authors
Publication date 2003
Host editors
  • P. Balbiani
  • N.-Y. Suzuki
  • F. Wolter
  • M. Zakharyaschev
Book title Advances in Modal Logic 4
ISBN
  • 0954300629
  • 0954300610
Pages (from-to) 205-220
Publisher London: King's College Publications
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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 nite structures.
Document type Conference contribution
Language English
Published at
http://www.aiml.net/volumes/volume4/ (Final published version)
Permalink to this page
Back