Game-Theoretic Semantics

A semantics for logical languages that interprets the truth of a formula in a model as the existence of a winning strategy in an associated evaluation game between two players (Verifier and Falsifier); logical connectives and quantifiers are mapped to game rules that govern choices and win conditions.