 Specific games stand for significant recurrent patterns of social interaction. In a perspective called ‘logic of games’, notions and results from logic are used to analyze the structure of various games. In fact, much classic reasoning about games involves notions that are familiar from logic.