Games, Logic, and Constructive Sets

Edited by Grigori Mints and Reinhard Muskens

Games, Logic, and Constructive Sets
Bookmark and Share

Edited by Grigori Mints and Reinhard Muskens

Distributed for Center for the Study of Language and Information

144 pages | 6 x 9 | © 2003
Cloth $70.00 ISBN: 9781575864495 Published July 2003
Paper $27.50 ISBN: 9781575864501 Published July 2003
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.
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
For more information, or to order this book, please visit
Google preview here

Chicago Manual of Style |

RSS Feed

RSS feed of the latest books from Center for the Study of Language and Information. RSS Feed