| 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 (http://www.math.lsa.umich.edu/~ablass/) 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 (http://www.csc.villanova.edu/~japaridz/) 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.
External links
|
