nLab game semantics


In logic, game semantics is used to provide a semantic interpretation of logical constructions in terms of strategies for opposing players 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 May 8, 2017 at 10:13:51. See the history of this page for a list of all contributions to it.