Exploring a Theory of Play
Johan van Benthem

Abstract:
We explore some recent directions for the logical foundations
of social action that emerge from contacts between logic,
game theory, philosophy, and computer science.

Keywords: backward induction, dynamic epistemic logic, theory of play