PP-2002-01: Janssen, Theo (2002) Independent Choices and the Interpretation of IF Logic. [Report]
![[thumbnail of Full Text (PS)]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
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 |
