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]

[thumbnail of Full Text (PS)] Text (Full Text (PS))

Download (81kB)
[thumbnail of Full Text (PDF)]
Text (Full Text (PDF))

Download (196kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (587B)


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