Journal of Logic, Language and Information 11 (3):367-387 (2002)
In this paper it is argued that Hintikka's game theoreticalsemantics for Independence Friendly logic does not formalize theintuitions about independent choices; it rather is aformalization of imperfect information. Furthermore it is shownthat the logic has several remarkable properties (e.g.,renaming of bound variables is not allowed). An alternativesemantics is proposed which formalizes intuitions aboutindependence
|Keywords||branching quantifier game theoretical semantics Henkin quantifier IF logic imperfect information independent choices|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Compositionality, Relevance, and Peirce's Logic of Existential Graphs.Ahti-Veikko Pietarinen - 2005 - Axiomathes 15 (4):513-540.
How Indefinites Choose Their Scope.Adrian Brasoveanu & Donka F. Farkas - 2011 - Linguistics and Philosophy 34 (1):1-55.
On Existential Declarations of Independence in If Logic.Fausto Barbero - 2013 - Review of Symbolic Logic 6 (2):254-280.
Similar books and articles
The Logic of Choice.Andreas Blass & Yuri Gurevich - 2000 - Journal of Symbolic Logic 65 (3):1264-1310.
An Analysis of Gödel's Dialectica Interpretation Via Linear Logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
Absolutely Independent Axiomatizations for Countable Sets in Classical Logic.Joanna Grygiel - 1989 - Studia Logica 48 (1):77 - 84.
Quantum Logic as a Fragment of Independence-Friendly Logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Dependence Logic: A New Approach to Independence Friendly Logic.J. Väänänen - 2007 - Cambridge University Press.
Added to index2009-01-28
Total downloads16 ( #296,330 of 2,164,249 )
Recent downloads (6 months)1 ( #348,039 of 2,164,249 )
How can I increase my downloads?