PP-2002-14: Decomposing Modal Logic

PP-2002-14: Areces, Carlos and de Rijke, Maarten and Infante-Lopez, Gabriel (2002) Decomposing Modal Logic. [Report]

[img] Text (Full Text (PS))
PP-2002-14.text.ps.gz

Download (92kB)
[img]
Preview
Text (Full Text (PDF))
PP-2002-14.text.pdf

Download (234kB) | Preview
[img] 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 View Item