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. Keywords: IF logic, game theoretical semantics, imperfect information, independent choices, Henkin quantifier, branching quantifier