Journal of Logic, Language and Information

, Volume 11, Issue 3, pp 367–387

Independent Choices and the Interpretation of IF Logic

  • Theo M.V. Janssen

DOI: 10.1023/A:1015542413718

Cite this article as:
Janssen, T.M. Journal of Logic, Language and Information (2002) 11: 367. doi:10.1023/A:1015542413718


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.

branching quantifier game theoretical semantics Henkin quantifier IF logic imperfect information independent choices 

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Theo M.V. Janssen
    • 1
  1. 1.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamThe Netherlands

Personalised recommendations