Top » Science » Math » Logic_and_Foundations » Game_Semantics

Deprecated: Function eregi_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 128

Deprecated: Function ereg_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 129

Anything that relates to games in logic, or logic in games.

People

• Computability Logic Wikipedia (free encyclopedia) article.
• Game Semantics Wikipedia article.
• 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 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 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 Theory Encyclopedia article.
• Game_Semantics Open Encyclopedia article.
• Is Game Semantics Necessary? Paper by Andreas Blass.
• Logic and Games Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
• Logic and games Survey of game-theoretical approaches to logic; by Wilfrid Hodges.

 

 

Copyright ©2000-2012 SPORT FR (73.11ms)

Apportez votre contribution à l'annuaire le plus complet du Web (avec évaluateurs « humains » !). Proposer un site - Open Directory Project - Devenir évaluateur de site