id: 01784306
dt: j
an: 01784306
au: Janssen, Theo M.V.
ti: Independent choices and the interpretation of IF logic.
so: J. Logic Lang. Inf. 11, No.3, 367-387 (2002).
py: 2002
pu: Springer, Dordrecht
la: EN
cc: 
ut: branching quantifier; Henkin quantifier; IF logic; independence friendly
    logic; game-theoretical semantics; independent choices; imperfect
    information
ci: 
li: doi:10.1023/A:1015542413718
ab: Summary: 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
    remarkable properties (e.g., renaming of bound variables is not
    allowed). An alternative semantics is proposed which formalizes
    intuitions about independence.
rv: