Toward a Theory of Play: A Logical Perspective on Games and Interaction
Johan van Benthem, Eric Pacuit, Olivier Roy

Abstract:
The combination of logic and game theory provides a fine-grained
perspective on information and interaction dynamics, a 'Theory of
Play'. In this paper we lay down the main components of such a theory,
drawing on recent advances in the logical dynamics of actions,
preferences, and information. We then show how this fine-grained
perspective has already shed new light on the long-term dynamics of
information exchange, as well as on the much-discussed question of
extensive game rationality.