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
Article

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

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.

branching quantifiergame theoretical semanticsHenkin quantifierIF logicimperfect informationindependent 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