| Game Semantics |
Article Index for Game |
Website Links For Game Semantics |
Information AboutGame Semantics |
| CATEGORIES ABOUT GAME SEMANTICS | |
| logic | |
| mathematical logic | |
| philosophical logic | |
| logic in computer science | |
| semantics | |
| quantification | |
|
INTUITIONISTIC LOGIC, DENOTATIONAL SEMANTICS, LINEAR LOGIC The primary motivation for Lorenzen and Kuno Lorenz was to find a game-theoretic (their term was "dialogical" ''Dialogische Logik'') semantics for . This line was further developed by Samson Abramsky , Radhakrishnan Jagadeesan , Pasquale Malacaria and independently Martin Hyland and Luke Ong , who placed special emphasis on compositionality, i.e. the definition of strategies inductively on the syntax. Using game semantics, the authors mentioned above have solved the long-standing problem of defining a Fully Abstract model for the programming language PCF . Consequently, game semantics has led to fully abstract semantic models for a variety of programming languages and, to new semantic-directed methods of software verification by software Model Checking . QUANTIFIERS Foundational considerations of game semantics have been more emphasised by . SEE ALSO
ARTICLES
BOOKS
EXTERNAL LINKS
|
|
|