GAME LOGICS
Logics whose semantics or subject matter is strategic interaction: systems in which truth, provability, or meaning is cast as the existence of a winning strategy, and logics for reasoning about games, strategies, and coalitions. Games serve here both as a semantic tool and as an object of formal theory.
Entries include the game-semantic and dialogical accounts of logic (game semantics, dialogical logic), the logics of strategic ability (game, strategy, coalition, concurrent-game, extensive-game, sabotage-game, and signaling-game logics), the equilibrium and mechanism strands (equilibrium logic, mechanism design logic), and the determinacy and game-comparison results (parity games, Banach-Mazur games, Borel determinacy, Ehrenfeucht-Fraïssé games).