  |
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_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. |
 |
Logic and Games - http://plato.stanford.edu/entries/logic-games/
Survey of game-theoretical approaches to logic; by Wilfrid Hodges. |