Caicedo, X. and Krynicki, M., 1999, “Quantifiers for reasoning with imperfect information and Σ^{1}
_{1} logic,” pp. 17–31 in *Advances in Contemporary Logic and Computer Science. Proceedings 11th Brazilian Conference on Mathematical Logic 1996*, W.A. Carnielli and I.M. d'Ottaviano, eds., Contemporary Mathematics, Vol. 235, Providence, RI: Americal Mathematical Society.

Cook, R. and Shapiro, S., 1998, “Hintikka's revolution ‘The Principles of Mathematics Revisited’,” *British Journal for the Philosophy of Science*
**49**, 309–316.

de Swart, H., Verhoeff, T., and Brands, R., 1997, “Hintikka's ,” *Logique et Analyse*
**159**, 281–289.

Halpern, J., 1997, “On ambiguities in the interpretation of game trees,” *Games and Economics Behavior*
**20**, 66–96.

Hintikka, J., 1974, “Quantifiers vs. quantification theory,” *Linguistic Inquiry*
**5**, 153–177.

Hintikka, J., 1996, *The Principles of Mathematics Revisited*, Cambridge: Cambridge University Press.

Hintikka, J. and Sandu, G., 1997, “Game-theoretical semantics,” pp. 361–340 in *Handbook of Logic and Language*, J. van Benthem and A. ter Meulen, eds., Amsterdam: Elsevier and Cambridge, MA: The MIT Press.

Hodges, W., 1997a, “Compositional semantics for a language of imperfect information,” *Journal of the IGPL*
**5**, 539–563.

Hodges, W., 1997b, “Some strange quantifiers,” pp. 51–65 in *Structures in Logic and Computer Science*, J. Mycielski et al., eds., Lecture Notes in Computer Science, Vol. 1261, Berlin: Springer-Verlag.

Janssen, T., 1997, “A compositional semantics for the game-theoretical interpretation of logic,” pp. 181–185 in *Proceedings of the Eleventh Amsterdam Colloquium*, P. Dekker, M. Stokhof, and Y. Venema, eds., ILLC/Department of Philosophy, University of Amsterdam.

Janssen, T., 1999, “IF logic and informational independence,” pp. 139–144 in *Proceedings of the Twelfth Amsterdam Colloquium*, P. Dekker, ed., ILLC/Department of Philosophy, University of Amsterdam. INDEPENDENT CHOICES AND THE INTERPRETATION OF IF LOGIC 387

Pietarinen, A., 2001, “Varieties of Ifing,” pp. 25–32 in *Proceedings of the ESSLLI'01 Workshop on Logic and Games*, G. Sandu and M. Pauly, eds., Department of Philosophy, University of Helsinki.

Pietarinen, A., 2002, “Games logic plays. Informational independence in game theoretical semantics,” Ph.D. Thesis, School of Cognitive and Computing Sciences, University of Sussex (preliminary version).

Sandu, G., 1993, “On the logic of informational independence and its applications,” *Journal of Philosophical Logic*
**22**, 26–60.