Loading...
Please wait, while we are loading the content...
Similar Documents
UvA-DARE ( Digital Academic Repository ) Decomposing modal logic
| Content Provider | Semantic Scholar |
|---|---|
| Author | Areces López, I. Rijke, De |
| 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://pure.uva.nl/ws/files/3397212/21511_aiml2002.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |