On the logic of informational independence and its applications

Journal of Philosophical Logic 22 (1):29 - 60 (1993)
  Copy   BIBTEX

Abstract

We shall introduce in this paper a language whose formulas will be interpreted by games of imperfect information. Such games will be defined in the same way as the games for first-order formulas except that the players do not have complete information of the earlier course of the game. Some simple logical properties of these games will be stated together with the relation of such games of imperfect information to higher-order logic. Finally, a set of applications will be outlined

Categories

Keywords

Reprint years

DOI

10.1007/bf01049180

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,748

External links

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

Through your library

My notes

Similar books and articles

Information Tracking in Games on Graphs.Dietmar Berwanger & Łukasz Kaiser - 2010 - Journal of Logic, Language and Information 19 (4):395-412.
Propositional Logic of Imperfect Information: Foundations and Applications.Ahti-Veikko Pietarinen - 2001 - Notre Dame Journal of Formal Logic 42 (4):193-210.
Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences.Fausto Barbero - 2017 - Journal of Logic, Language and Information 26 (3):221-260.
Games in Dynamic-Epistemic Logic.Johan van Benthem - unknown
Partiality and games: propositional logic.G. Sandu & A. Pietarinen - 2001 - Logic Journal of the IGPL 9 (1):101-121.
A New Game Equivalence, its Logic and Algebra.Johan van Benthem, Nick Bezhanishvili & Sebastian Enqvist - 2019 - Journal of Philosophical Logic 48 (4):649-684.
A New Game Equivalence, its Logic and Algebra.Sebastian Enqvist, Nick Bezhanishvili & Johan Benthem - 2019 - Journal of Philosophical Logic 48 (4):649-684.
The logic of informational independence and finite models.G. Sandu - 1997 - Logic Journal of the IGPL 5 (1):79-95.
Dynamic Logics of Imperfect Information: From Teams and Games to Transitions.Pietro Galliani - 2018 - In Hans van Ditmarsch & Gabriel Sandu, Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 299-315.

Analytics

Added to PP
2009-01-28

Downloads
81 (#273,024)

6 months
11 (#303,202)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriel Sandu
University of Helsinki

Citations of this work

Independent choices and the interpretation of IF logic.Theo M. V. Janssen - 2002 - Journal of Logic, Language and Information 11 (3):367-387.
How indefinites choose their scope.Adrian Brasoveanu & Donka F. Farkas - 2011 - Linguistics and Philosophy 34 (1):1-55.
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo, Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 249--350.

View all 28 citations / Add more citations

References found in this work

Descriptions.Stephen Neale - 1990 - MIT Press.
Descriptions.S. Neale - 1996 - Critica 28 (83):97-129.
Theory of Games and Economic Behavior.John Von Neumann & Oskar Morgenstern - 1944 - Princeton, NJ, USA: Princeton University Press.
Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.

View all 15 references / Add more references