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

TL;DR

This paper introduces a novel semantic framework for logics of imperfect information by combining game theoretic and team semantics, enabling reasoning about games with a simplified semantics for expressive fragments.

Contribution

It presents a new formalism based on Game Logic that unifies game theoretic and team semantics for imperfect information logics, with a simplified semantics for expressive fragments.

Findings

New semantics combining game and team semantics

Applicability to reasoning about complex games

Simplified semantics for expressive language fragments

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.