Distributed for Center for the Study of Language and Information
Games, Logic, and Constructive Sets
Mathematical game theory has been embraced by a variety of scholars: social scientists, biologists, linguists, and now, increasingly, logicians. This volume illustrates the recent advances of game theory in the field. Logicians benefit from things like game theory’s ability to explain informational independence between connectives; meanwhile, game theorists have even begun to benefit from logical epistemic analyses of game states. In concert with such pioneering work, this volume also present surprising developments in classical fields, including first-order logic and set theory.
Table of Contents
I: Logic and Games
Logic and Game Theory: Close Encounters of the Third Kind - Johan van Benthem
Informationally Independent Connectives - Gabriel Sandu and Ahti Pietarinen
Descriptions of Game States - Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
II: Classical Logic
Resource Consciousness in Classical Logic - Andreas Blass
Quick Cut-Elimination for Monotone Cuts - Grigori Mints
III: Constructive Set Theory
The Anti-Foundation Axiom in Constructive Set Theories - Michael Rathjen
On Non-wellfounded Constructive Set Theory: Construction of Non-wellfounded Sets in Explicit Mathematics - Sergei Tupailo
Index
Logic and Game Theory: Close Encounters of the Third Kind - Johan van Benthem
Informationally Independent Connectives - Gabriel Sandu and Ahti Pietarinen
Descriptions of Game States - Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
II: Classical Logic
Resource Consciousness in Classical Logic - Andreas Blass
Quick Cut-Elimination for Monotone Cuts - Grigori Mints
III: Constructive Set Theory
The Anti-Foundation Axiom in Constructive Set Theories - Michael Rathjen
On Non-wellfounded Constructive Set Theory: Construction of Non-wellfounded Sets in Explicit Mathematics - Sergei Tupailo
Index