LOGIC GAMES: from tools to models of interaction
Johan van Benthem

Abstract:
This is a slightly updated version of an earlier survey of logic games
for model checking, model construction, model comparison, and other
tasks.  We discuss their general structural properties, and their
connections with current game logics for analyzing the structure of
games in general.