2001 |
Proceedings 8th Conference on Theoretical Aspects of Rationality and Knowledge.
Morgan Kaufmann Publishers,
San Francisco.
|
|
2002 |
Words, Proofs, and Diagrams.
CSLI Publications,
Stanford.
[with D. Barker-Plummer, D. Beaver, D. Israel and P. Scotto di Luzio].
|
|
2006 |
The Age of Alternative Logics.
Springer,
Dordrecht.
[with G. Heinzmann, M. Rebuschi and H. Visser].
|
Handbook of Modal Logic.
Elsevier,
Amsterdam.
[with Patrick Blackburn & Frank Wolter].
|
|
2007 |
A Meeting of the Minds. Proceedings LORI Workshop Beijing August 2007.
King's College Publications,
London.
[with Ju Shier and Frank Veltman].
|
Handbook of Spatial Logics.
Springer,
Dordrecht.
[with Marco Aiello and Ian Pratt-Hartmann].
|
Foundations of the Formal Sciences V: Infinite Games
(Studies in Logic).
College Publications,
London.
[with Stefan Bold, Benedikt Löwe, Thoralf Räsch].
|
Logic at a Cross-Roads: logic and its interdisciplinary environment.
Allied Publishers,
Mumbai.
[with A. Gupta & R. Parikh].
|
Interactive Logic
(Augustus de Morgan Workshop 2005).
Amsterdam University Press (Texts in Logic and Games series),
Amsterdam.
[with Dov Gabbay and Benedikt Löwe].
|
|
2008 |
Logic and Intelligent Interaction
(Proceedings Workshop ESSLLI XV).
University of Hamburg,
Hamburg.
[with Eric Pacuit].
|
Handbook of the Philosophy of Information.
Elsevier Science Publishers,
Amsterdam.
[with Pieter Adriaans].
|
|
2009 |
Wat Cognitiewetenschappers Bezielt.
Amsterdam University Press (Texts in Logic and Games series),
Amsterdam.
[with B. Mols and P. Hagoort].
|
|