Edited volumes
Non-classical Logics and Information Processing, Springer Lecture Notes in AI 619, Springer, Berlin, 1992, with D. Pearce.
Knowledge and Belief in Philosophy and Artificial Intelligence, Akademie Verlag, Berlin, 1995, with A. Laux.
Negation. A Notion in Focus, de Gruyter, Berlin, 1996.
Proof Theory of Modal Logic, Kluwer Academic Publishers, Dordrecht, 1996.
Advances in Modal Logic. Vol. 1, CSLI Publications, Stanford, 1998, with M. Kracht, M. de Rijke and M. Zakharyaschev.
What is Negation?, Kluwer Academic Publishers, Dordrecht, 1999, with D. Gabbay.
Advances in Modal Logic. Vol. 2, CSLI Publications, Stanford, 2001, with M. Zakharyaschev, K. Segerberg, and M. de Rijke.
Essays on Non-classical Logic, Advances in Logic, Vol. 1, World Scientific, London, 2001.
Advances in Modal Logic. Vol. 3, World Scientific, London, 2002, with F. Wolter, M. de Rijke, and M. Zakharyaschev.
First-Order Logic Revisited, Logos, Berlin, 2004, with V. Hendricks, F. Neuhaus, S. Pedersen and U. Scheffler.
Advances in Modal Logic. Vol. 5, King’s College Publications, London, 2005, with R. Schmidt, I. Pratt-Hartmann, and M. Reynolds.
Referenz und Realität, Mentis, Paderborn, 2007, with A. Rami.
Logics in Artificial Intelligence. 11th European Conference, JELIA 2008, Lecture Notes in AI 5293, Springer, Berlin, 2008, with S. Hölldobler and C. Lutz.
Towards Mathematical Philosophy, Trends in Logic, Vol. 28, Springer, Dordrecht, 2009, with D. Makinson and J. Malinowski.
Recent Trends in Philosophical Logic, Trends in Logic, Vol. 41, Springer, Dordrecht, 2014, with R. Ciuni and C. Willkommen
Dag Prawitz on Proofs and Meaning, Outstanding Contributions to Logic, Vol. 7, Springer, Dordrecht, 2015.
New Essays on Belnap-Dunn Logic, Springer, Dordrecht, 2019, with H. Omori.
60 Years of Connexive Logic, Springer, Cham, 2025, with H. Omori.