Skip to main content

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.

144 pages | 6 x 9 | © 2003

Lecture Notes

Philosophy: Logic and Philosophy of Language


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

Be the first to know

Get the latest updates on new releases, special offers, and media highlights when you subscribe to our email lists!

Sign up here for updates about the Press