Independent choices and the interpretation of IF logic

Journal of Logic, Language and Information

Volumn 11, Issue 3, 2002, Pages 367-387

  Janssen, Theo M V ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Branching quantifier; Game theoretical semantics; Henkin quantifier; IF logic; Imperfect information; Independent choices

Indexed keywords

EID: 33646491721     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1015542413718     Document Type: Review

References (14)

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.
2. Cook, R. and Shapiro, S., 1998, "Hintikka's revolution 'The Principles of Mathematics Revisited'," British Journal for the Philosophy of Science 49, 309-316.
3. de Swart, H., Verhoeff, T., and Brands, R., 1997, "Hintikka's 'The principles of mathematics revisited'," Logique et Analyse 159, 281-289.
4. Halpern, J., 1997, "On ambiguities in the interpretation of game trees," Games and Economics Behavior 20, 66-96.
5. Hintikka, J., 1974, "Quantifiers vs. quantification theory," Linguistic Inquiry 5, 153-177.
6. Hintikka, J., 1996, The Principles of Mathematics Revisited, Cambridge: Cambridge University Press.
7. 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.
8. Hodges, W., 1997a, "Compositional semantics for a language of imperfect information," Journal of the IGPL 5, 539-563.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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).
14. Sandu, G., 1993, "On the logic of informational independence and its applications," Journal of Philosophical Logic 22, 26-60.