Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences

Journal of Logic, Language and Information 26 (3):221-260 (2017)
  Copy   BIBTEX


In the literature on logics of imperfect information it is often stated, incorrectly, that the Game-Theoretical Semantics of Independence-Friendly quantifiers captures the idea that the players of semantical games are forced to make some moves without knowledge of the moves of other players. We survey here the alternative semantics for IF logic that have been suggested in order to enforce this “epistemic reading” of sentences. We introduce some new proposals, and a more general logical language which distinguishes between “independence from actions” and “independence from strategies”. New semantics for IF logic can be obtained by choosing embeddings of the set of IF sentences into this larger language. We compare all the semantics proposed and their purported game-theoretical justifications, and disprove a few claims that have been made in the literature.



    Upload a copy of this work     Papers currently archived: 80,057

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On existential declarations of independence in if logic.Fausto Barbero - 2013 - Review of Symbolic Logic 6 (2):254-280.
On the semantics of informational independence.Jouko Väänänen - 2002 - Logic Journal of the IGPL 10 (3):339-352.
How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
About Games and Substitution.Manuel Rebuschi - 2003 - In Jaroslav Peregrin (ed.), Meaning: The Dynamic Turn. Elsevier Science. pp. 241--257.
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Classical Negation and Game-Theoretical Semantics.Tero Tulenheimo - 2014 - Notre Dame Journal of Formal Logic 55 (4):469-498.
Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.
Preuves et jeux sémantiques.Denis Bonnay - 2004 - Philosophia Scientiae 8 (2):105-123.


Added to PP

5 (#1,194,905)

6 months
1 (#477,912)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations