Game semantics
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. 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, computability logic on such games.
See also
