PP-2002-01: Janssen, Theo (2002) Independent Choices and the Interpretation of IF Logic. [Report]
Text (Full Text (PS))
PP-2002-01.text.ps.gz Download (81kB) |
|
Preview |
Text (Full Text (PDF))
PP-2002-01.text.pdf Download (196kB) | Preview |
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 |