nLab game semantics


In logic, game semantics is used to provide a semantic interpretation of logical constructions in terms of strategies for opposing players (a prover and an opponent) to win a game which corresponds to some proposition.

For a brief history, see this comment by Samson Abramsky.


A game theoretic account (explained in terms of ‘dialogues’) of provability was developed by Paul Lorenzen, see

For a survey of this approach see

For attempts to formulate a game semantics for dependent type theory, see

Last revised on December 20, 2023 at 14:02:09. See the history of this page for a list of all contributions to it.