nLab game semantics

Idea

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.

References

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 July 18, 2024 at 16:12:55. See the history of this page for a list of all contributions to it.