Graduate studies at Western
Journal of Logic, Language and Information 11 (3):367-387 (2002)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Miklos Redei (1995). Logical Independence in Quantum Logic. Foundations of Physics 25 (3):411-422.
Merlijn Sevenster (2006). On the Computational Consequences of Independence in Propositional Logic. Synthese 149 (2):257 - 283.
J. Väänänen (2007). Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press.
Jaakko Hintikka (2002). Quantum Logic as a Fragment of Independence-Friendly Logic. Journal of Philosophical Logic 31 (3):197-209.
Matti Eklund & Daniel Kolak (2002). Is Hintikka's Logic First-Order? Synthese 131 (3):371 - 388.
Joanna Grygiel (1989). Absolutely Independent Axiomatizations for Countable Sets in Classical Logic. Studia Logica 48 (1):77 - 84.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
David M. Armstrong (2005). Four Disputes About Properties. Synthese 144 (3):1-12.
Andreas Blass & Yuri Gurevich (2000). The Logic of Choice. Journal of Symbolic Logic 65 (3):1264-1310.
Added to index2009-01-28
Total downloads2 ( #246,859 of 738,403 )
Recent downloads (6 months)1 ( #61,778 of 738,403 )
How can I increase my downloads?