Dynamic Logics of Imperfect Information: From Teams and Games to Transitions

In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 299-315 (2018)
  Copy   BIBTEX

Abstract

We introduce a new semantical formalism for logics of imperfect information, based on Game Logic. This new kind of semantics combines aspects from game theoretic semantics and from team semantics, and demonstrates how logics of imperfect information can be seen as languages for reasoning about games. Finally we show that, for a very expressive fragment of our language, a simpler semantics is available.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-319-62864-6_12

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Games in Dynamic-Epistemic Logic.Johan van Benthem - unknown
Transition semantics: the dynamics of dependence logic.P. Galliani - 2014 - Synthese 191 (6):1249-1276.
Communication strategies in games.Jelle Gerbrandy - 2007 - Journal of Applied Non-Classical Logics 17 (2):197-211.
Propositional Logic of Imperfect Information: Foundations and Applications.Ahti-Veikko Pietarinen - 2001 - Notre Dame Journal of Formal Logic 42 (4):193-210.
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Logic games: Not just tools, but models of interaction.Johan van Benthem - unknown
Information Tracking in Games on Graphs.Dietmar Berwanger & Łukasz Kaiser - 2010 - Journal of Logic, Language and Information 19 (4):395-412.
Inclusion and exclusion dependencies in team semantics—on some logics of imperfect information.Pietro Galliani - 2012 - Annals of Pure and Applied Logic 163 (1):68-84.
A Modal Logic for Mixed Strategies.Joshua Sack & Wiebe van der Hoek - 2014 - Studia Logica 102 (2):339-360.
Decisions, Actions, and Games, a Logical Perspective.Johan van Benthem - unknown
Partiality and games: propositional logic.G. Sandu & A. Pietarinen - 2001 - Logic Journal of the IGPL 9 (1):101-121.
Logical Dynamics of Information and Interaction.Johan van Benthem - 2011 - New York: Cambridge University Press.
The interrogative model of inquiry meets dynamic epistemic logics.Yacin Hamami - 2015 - Synthese 192 (6):1609-1642.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
On the Interpretation of Decision Problems with Imperfect Recall.Ariel Rubinstein - unknown

Analytics

Added to PP
2019-01-28

Downloads
1 (#1,886,728)

6 months
1 (#1,510,037)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references