5 links
Game Semantics or Linear Logic?
csc.villanova.edu
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Logic and Games
plato.stanford.edu
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.