INCLUSION CRITERIA
An entry belongs in this subdivision if and only if strategic interaction is its semantics or its subject: a logic interpreted through games and winning strategies, or a logic for reasoning about games, strategies, and coalitions.
Required: At least one of the following:
- A game semantics defining validity or meaning via winning strategies
- A logic with operators for strategic ability, coalitions, or equilibria
- A determinacy or game-comparison result used as a logical tool
Not sufficient: A logic that merely admits a game-theoretic model without games as its content. A probabilistic decision framework (Probabilistic).
Boundary: Alternating-time and parity-game logics are cross-listed with Modal and Applications/Verification. Ehrenfeucht-Fraïssé games are cross-listed with Metatheory/Model-Theory. Game semantics of programming languages is cross-listed with Computation.