PP-2007-13: Independence and Hintikka games

PP-2007-13: Janssen, Theo (2007) Independence and Hintikka games. [Report]

[img]
Preview
Text (Full Text)
PP-2007-13.text.pdf

Download (1MB) | Preview
[img] Text (Abstract)
PP-2007-13.abstract.txt

Download (995B)

Abstract

In this paper will consider a formalization of independence in logic, in particular between quantifiers. We first illustrate that this form of independence plays a role in many fields. A logic that has the possibility to express such a form of independence is 'Independence Friendly logic' (introduced by Hintikka); its semantics is defined by means of strategies in a sequential game. It will be shown that this logic gives results that are not in accordance with intuitions on independence. An alternative semantics is presented where the logic is interpreted by means of a strategic game. The semantics exploits one assumption: the players are assumed to be rational (they do not play a strategy if there is a better one available). It is shown that this semantics gives results that are in accordance with intuitions about independence.

Item Type: Report
Report Nr: PP-2007-13
Series Name: Prepublication (PP) Series
Year: 2007
Uncontrolled Keywords: Independence Friendly logic; strategic games; strategy; games; imperfect information
Subjects: Logic
Depositing User: tjansse1
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/247

Actions (login required)

View Item View Item