Reasoning about Strategies
Johan van Benthem

Abstract:
We explore basic styles of reasoning about strategic powers, and about
strategies themselves, defining minimal logics that mirror basic
game-theoretic proofs and counter-examples. In particular, we find
some new results about a decidable modal-temporal logic of forcing,
and its extension with explicit strategy terms.

Keywords: game, strategy, forcing, modal logic, dynamic logic