PP-2006-47: Approaches to Independence Friendly Modal Logic

PP-2006-47: Tulenheimo, Tero and Sevenster, Merlijn (2006) Approaches to Independence Friendly Modal Logic. [Report]

Text (Full Text)

Download (212kB) | Preview
[img] Text (Abstract)

Download (1kB)


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 View Item