Dynamic logics of imperfect information
from teams and games to transitions
pp. 299-315
Abstrakt
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.
Seiten: 299-315
DOI: 10.1007/978-3-319-62864-6_12
Referenz:
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.