Survey of game-theoretical approaches to logic; by Wilfrid Hodges.

Paper by Andreas Blass.

Wikipedia article.

A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.

Encyclopedia article.

Open Encyclopedia article.