Some Thoughts on the Logic of Strategies
Johan van Benthem

Abstract:
We discuss several main themes in a logical perspective on strategies,
including program structure, knowing and understanding strategies, and
changing games and repair of strategies.