Game semantics is an approach to the semantics of logic that bases the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player. Paul Lorenzen , in the late 1950s, was the first to introduce a game semantics for logic. Since then, numerous sorts of game semantics have been introduced and studied in logic, and have been applied to the semantics of programming languages.
The primary motivation for Lorenzen and his student Kuno Lorenz was to find a game-semantical, or dialogue-semantical (as they preferred to call it) justification for intuitionistic logic. Blass was the first to point out connections between game semantics and linear logic. This line was further developed by Samson Abramsky, Radhakrishnan Jagadeesan , Martin Hyland , Luke Ong and others. Japaridze started treating games as foundational entities in their own right, elaborating a concept of games that formalizes the intuitive notion of interactive computational problems, and basing his computability logic on such games.
- Game Semantics or Linear Logic?
- Computability Logic Homepage