PP-2002-01: Independent Choices and the Interpretation of IF Logic

PP-2002-01: Janssen, Theo (2002) Independent Choices and the Interpretation of IF Logic. [Report]

[img] Text (Full Text (PS))
PP-2002-01.text.ps.gz

Download (81kB)
[img]
Preview
Text (Full Text (PDF))
PP-2002-01.text.pdf

Download (196kB) | Preview
[img] Text (Abstract)
PP-2002-01.abstract.txt

Download (587B)

Abstract

In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties. An alternative semantics is proposed which formalizes intuitions about independence.

Item Type: Report
Report Nr: PP-2002-01
Series Name: Prepublication (PP) Series
Year: 2002
Uncontrolled Keywords: IF logic, game theoretical semantics, imperfect information, independent choices, Henkin quantifier, branching quantifier
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/65

Actions (login required)

View Item View Item