Decisions, Actions, and Games: a logical perspective
Johan van Benthem

Abstract:
We analyze the different logical components needed for analyzing
strategic interactive decision behaviour in games, and discuss new
dynamic-epistemic scenarios for 'game solution' procedures.  This is
meant as a typical sample of what logic can do for games.