Games, Logic, and Constructive Sets

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