| Authors |
|
| Publication date |
2003
|
| Host editors |
-
P. Balbiani
-
N.-Y. Suzuki
-
F. Wolter
-
M. Zakharyaschev
|
| Book title |
Advances in Modal Logic 4
|
| ISBN |
|
| 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/
|
|
Permalink to this page
|
