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]

[thumbnail of Full Text]
Text (Full Text)

Download (212kB) | Preview
[thumbnail of Abstract] 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