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. |
Is Game Semantics Necessary? - http://arxiv.org/abs/math.LO/9310211
Paper by Andreas Blass. |