People
Abramsky, Samson, Blass,  Andreas, Hyland, J.M.E., Japaridze, Giorgi, Ong, Luke, Parikh, Rohit, Van Benthem, Johan
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.
Game_Semantics
Open Encyclopedia article.
Logic and Games
		
		
		
                
		
		
	Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
 
																			 
									
										 
						
										