Independent Choices and the Interpretation of IF Logic
- Cite this article as:
- Janssen, T.M. Journal of Logic, Language and Information (2002) 11: 367. doi:10.1023/A:1015542413718
- 55 Downloads
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.