Game Semantics

Science > Math > Logic and Foundations > Game Semantics

• Logic and Games - http://plato.stanford.edu/entries/logic-games/
• Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
• Is Game Semantics Necessary? - http://arxiv.org/abs/math.lo/9310211
• Paper by Andreas Blass.
• Game Semantics - http://en.wikipedia.org/wiki/computability_logic
• Wikipedia article.
• Game Semantics or Linear Logic? - http://www.csc.villanova.edu/~japaridz/cl/gsoll.html
• A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
• Game Theory - http://www.nationmaster.com/encyclopedia/game-theory
• Encyclopedia article.
• Game_Semantics - http://open-site.org/science/mathematics/logic/game_semantics/
• Open Encyclopedia article.