 Themes from the extensive and growing area surrounding logic and games occur in various entries of this Encyclopedia, in particular on  uses of games in logic,  epistemic foundations of game theory,  formal approaches to social procedures,  logics for analyzing powers of agents, and  game semantics for programming and process languages.  These entries differ in their emphasis, which may be on logic, game theory, or foundations of computer science. The present entry is concerned with logics for analyzing games, broadly speaking. It makes reference to other perspectives in this Encyclopedia where relevant.