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.