期刊名称：The Baltic International Yearbook of Cognition, Logic and Communication
印刷版ISSN：1944-3676
出版年度：2013
卷号：8
出版社：New Prairie Press
摘要：The idea behind these games is to obtain an alter-native characterization of logical notions cherished by logicianssuch as truth in a model, or provability (in a formal system). Weoffer a quick survey of Hintikka's evaluation games, which offeran alternative notion of truth in a model for first-order langauges.These are win-lose, extensive games of perfect information. Wethen consider a variation of these games, IF games, which arewin-lose extensive games of imperfect information. Both gamespresuppose that the meaning of the basic vocabulary of the lan-guage is given. To give an account of the linguistic conventionswhich settle the meaning of the basic vocabulary, we considersignaling games, inspired by Lewis' work. We close with IF prob-abilistic games, a strategic variant of IF games which combinessemantical games with von Neumann's minimax theorem
