Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

201651

Dynamic logics of imperfect information

from teams and games to transitions

Pietro Galliani

pp. 299-315

Abstract

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

Published in:

van Ditmarsch Hans, Sandu Paul-Gabriel (2018) Jaakko Hintikka on knowledge and game-theoretical semantics. Dordrecht, Springer.

Pages: 299-315

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

Full citation:

Galliani Pietro (2018) „Dynamic logics of imperfect information: from teams and games to transitions“, In: H. Van Ditmarsch & P.-G. Sandu (eds.), Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht, Springer, 299–315.