Independent Choices and the Interpretation of IF Logic
Theo Janssen

Abstract:
In this paper it is argued that Hintikka's game theoretical semantics
for Independence Friendly logic does not formalize the intuitions
about independent choices; it rather is a formalization of imperfect
information. Furthermore it is shown that the logic has several
strange properties. An alternative semantics is proposed which
formalizes intuitions about independence.