PP-2007-13: Independence and Hintikka games

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

[thumbnail of Full Text]
Text (Full Text)

Download (1MB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (995B)


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

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