PP-2006-47: Tulenheimo, Tero and Sevenster, Merlijn (2006) Approaches to Independence Friendly Modal Logic. [Report]
Preview |
Text (Full Text)
PP-2006-47.text.pdf Download (212kB) | Preview |
Text (Abstract)
PP-2006-47.abstract.txt Download (1kB) |
Abstract
The aim of the present paper is to discuss two different ways of
formulating independence friendly (IF) modal logic. In one of them,
the language of basic modal logic is enriched with the slash notation
familiar from IF first-order logics, and the resulting logic is
interpreted in terms of games and uniform strategies. The present
paper formulates a different approach, by introducing a framework that
can be used for formulating various IF modal logics. Within the
framework, an IF modal logic is defined by imposing conditions on its
structural relationships to other logics, namely a specified modal
logic (for instance: basic modal logic), its first-order
correspondence language, and IF logic. This framework makes it
possible to obtain expressively strong languages that nevertheless
enjoy 'nice' properties. In this vein, the so-called 'structurally
determined IF modal logic' was introduced. We compare the logics
emerging from these two approaches. More generally, the issue of the
Eigenart of IF modal logics is addressed.
Item Type: | Report |
---|---|
Report Nr: | PP-2006-47 |
Series Name: | Prepublication (PP) Series |
Year: | 2006 |
Uncontrolled Keywords: | IF logic; Modal logic; IF 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/222 |
Actions (login required)
View Item |