PP-2002-14: Areces, Carlos and de Rijke, Maarten and Infante-Lopez, Gabriel (2002) Decomposing Modal Logic. [Report]
![[thumbnail of Full Text (PS)]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text (PS))
PP-2002-14.text.ps.gz Download (92kB) |
Preview |
Text (Full Text (PDF))
PP-2002-14.text.pdf Download (234kB) | Preview |
|
Text (Abstract)
PP-2002-14.abstract.txt Download (535B) |
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
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2002-14 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2002 |
| Uncontrolled Keywords: | Modal Logic, expressive power, fragments of modal logic. |
| Subjects: | Logic |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/78 |
Actions (login required)
 |
View Item |
