Web Directory

» Game Semantics
   Wikipedia article.
   http://en.wikipedia.org/wiki/Computability_logic

» Game Semantics or Linear Logic?
   A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
   http://www.csc.villanova.edu/~japaridz/CL/gsoll.html

» Game Theory
   Encyclopedia article.
   http://www.nationmaster.com/encyclopedia/Game-Theory

» Game_Semantics
   Open Encyclopedia article.
   http://open-site.org/Science/Mathematics/Logic/Game_Semantics/

» Is Game Semantics Necessary?
   Paper by Andreas Blass.
   http://arxiv.org/abs/math.LO/9310211

» Logic and Games
   Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
   http://plato.stanford.edu/entries/logic-games/