Historical notes

Lorenzen, in the late 1950s, was the first to introduce a game semantics. Since then, numerous sorts of game semantics have been introduced and studied in logic. The primary motivation for Lorenz and his student Lorenzen was to find a game-semantical, or dialogue-semantical (as they preferred to call it) justification for intuitionistic logic. Felscher's work signified a climax of this "game semantics for intuitionistic logic" line. Blass was the first to observe connections between game semantics and linear logic. The "game semantics for linear logic" approach was further developed or modified by Abramsky, Jagadeesan, Hyland, Ong and others. Japaridze started treating games as foundational entities in their own right, elaborating a concept of games meant to formalize the intuitive notion of interactive computational problems, and basing his computability logic on such games.

References and external links

  • A dialogue criterium for constructivity (German) by P. Lorenen. In Infinitistic Methods, Warsaw, 1961, pages 193-200.
  • Dialogues, strategies and intuitionistic provability by W. Felsher. Annals of Pure and Applied Logic 23 (1985), pages 217-254.
  • Games and full completeness for multiplicative linear logic by S. Abramsky and R. Jagadeesan. Journal of Symbolic Logic 59 (1994), pages 543-574.
  • A game semantics for linear logic by A. Blass. Annals of Pure and Applied Logic 56 (1992), pages 182-220.
  • Game Semantics or Linear Logic? by G. Japaridze. http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
  • Introduction to computability logic by G. Japaridze. Annals of Pure and Applied Logic 123 (2003), pages 1-99.