Repository | Book | Chapter
(2018) Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht, Springer.
Dynamic logics of imperfect information
from teams and games to transitions
Pietro Galliani
pp. 299-315
We introduce a new semantical formalism for logics of imperfect information, based on Game Logic (and, in particular, on van Benthem, Ghosh and Lu's Concurrent Dynamic 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.
Publication details
DOI: 10.1007/978-3-319-62864-6_12
Full citation:
(2018)., Dynamic logics of imperfect information: from teams and games to transitions, in , Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht, Springer, pp. 299-315.
This document is unfortunately not available for download at the moment.