Monographs, Edited Volumes & Edited journal special issues

 

Monographs

n4-related Proof Theory of N4-related Paraconsistent Logics, Studies in Logic. Vol. 54, College Publications, London, 2015, with N. Kamide.
Truth and Falsehood Truth and Falsehood. An Inquiry into Generalized Logical Values, Trends in Logic. Vol. 36, Springer-Verlag, Berlin, 2011, with Y. Shramko.
Displaying Modal Logic Displaying Modal Logic, Kluwer Academic Publishers, Dordrecht, 1998.
The Logic of Information Structure The Logic of Information Structures, Springer Lecture Notes in AI 681, Springer-Verlag, Berlin, 1993.

 

top

Edited Volumes

 9783030311353_new New Essays on Belnap-­Dunn Logic, Synthes Library Vol. 418, Springer, Dordrecht, 2019, with Hitoshi Omori and
Prawitz_cover Dag Prawitz on Proofs and Meaning, Outstanding Contributions to Logic, Vol. 7, Springer, Dordrecht, 2015.
Recent Trends Recent Trends in Philosophical Logic, Trends in Logic, Vol. 41, Springer, Dordrecht, 2014, with Roberto Ciuni and Caroline Willkommen.
Towards mathematical philosophy Towards Mathematical Philosophy, Trends in Logic, Vol. 28, Springer-Verlag, Berlin, 2009, with D. Makinson and J. Malinowski.
Logics in Artificial Intelligence Logics in Artificial Intelligence. 11th European Conference, JELIA 2008, Lecture Notes in AI 5293, Springer-Verlag, Berlin, 2008, with S. Hölldobler and C. Lutz.
 Referenz und Realität Referenz und Realität, Mentis Verlag, Paderborn, 2007, with A. Rami.
Advances in Modal Logic Vol 5 Advances in Modal Logic. Vol. 5, 2005, King's College Publications, London, 2005, with R. Schmidt, I. Pratt-Hartmann, and M. Reynolds.
First-Order Logic Revisited First-Order Logic Revisited, Logos Verlag, Berlin, 2004, with V. Hendricks, F. Neuhaus, S. Pedersen and U. Scheffler.
Advances in Modal Logic Vol 3 Advances in Modal Logic. Vol. 3, World Scientific, London/Singapore, 2002, with F. Wolter, M. de Rijke, and M. Zakharyaschev.
Essays on Non-Classical Logic Essays on Non-classical Logic, Advances in Logic Vol. 1, World Scientific, London/Singapore, 2001.
Advances in Modal Logic Vol 2 Advances in Modal Logic. Vol. 2, CSLI Publications, Stanford, 2001, with M. Zakharyaschev, K. Segerberg and M. de Rijke.
What is negation What is Negation?, Applied Logic Series Vol. 13, Kluwer Academic Publishers, Dordrecht, 1999, with Dov Gabbay.
Advances on Modal Logic Vol 1 Advances in Modal Logic. Vol. 1, CSLI Publications, Stanford, 1998, with M. Kracht, M. de Rijke, and M. Zakharyaschev.
Proof of Theory of Modal Logic Proof Theory of Modal Logic, Applied Logic Series Vol. 2, Kluwer Academic Publishers, Dordrecht, 1996.
Negation - A notion in focus Negation. A Notion in Focus, Perspectives in Analytical Philosophy 7, de Gruyter, Berlin, 1996.
Knowledge and Belief Knowledge and Belief in Philosophy and Artificial Intelligence, Akademie Verlag, Berlin, 1995, with Armin Laux.
Nonclassical Logics and Information Processing Nonclassical Logics and Information Processing, Springer Lecture Notes in AI 619, Springer-Verlag, Berlin, 1993, with David Pearce.

 

 

 

top

Edited journal special issues

  • Special issue on Negation, Logical Investigations 27 (1), 2021, with Grigory Olkhovikov and Hitoshi Omori.
  • Varieties of Entailment, Synthese, forthcoming, with Marco Ruffino.
  • Advances in Connexive Logic, Logic and Logical Philosophy 28 (2019), with Hitoshi Omori.
  • 40-years of FDE, Studia Logica 105-6 (2017), with Hitoshi Omori.
  • Doxastic Agency and Epistemic Responsibility, Synthese 194-8 (2017), (first 11 papers), with Andrea Kruse (now Andrea Robitzsch).
  • Connexive Logics, IfCoLog Journal of Logics and their Applications 3 (2016), with Hitoshi Omori and Thomas M. Ferguson.
  • Advances in Philosophical Logic, Studia Logica 101-6 (2013), Springer Verlag, Dordrecht/Berlin, with Roberto Ciuni and Caroline Willkommen.
  • Special issue on Nuel Belnap's Work in Philosophical Logic, Journal of Philosophical Logic 39-4 (2010), Springer Verlag, Dordrecht/Berlin, with Philip Kremer.
  • Truth values. Part II, Studia Logica 92-2 (2009), Springer Verlag, Dordrecht/Berlin, with Yaroslav Shramko.
  • Truth values. Part I, Studia Logica 91-3 (2009), Springer Verlag, Dordrecht/Berlin, with Yaroslav Shramko.
  • Negation in Constructive Logic, Studia Logica 80-2/3 (2005), Springer Verlag, Dordrecht/Berlin, with Sergei Odintsov and Yaroslav Shramko.
  • Logic and Logical Philosophy (10) 2002, with Anna Gomolinska and Max Urchs.
  • The Legacy of the Lvov-Warsaw School, Erkenntnis 56-1 (2002), Kluwer Academic Publishers, Dordrecht.
  • Analytic Tableaux and Related Methods, Part 2: Non-classical Logics, Studia Logica 69-2 (2001), Kluwer Academic Publishers, Dordrecht, 2001, with Roy Dyckhoff.
  • Analytic Tableaux and Related Methods, Part 1: Modal Logics, Studia Logica 69-1 (2001), Kluwer Academic Publishers, Dordrecht, 2001, with Roy Dyckhoff.
  • Partiality and Modality, Studia Logica 66-1 (2000), Kluwer Academic Publishers, Dordrecht, with Elias Thijsse and Francois Lepage.
  • Logic and Logical Philosophy 6 (1998), Torun, with Robert Leszko.
  • Special issue on Generalized Sequent Systems, Logic Journal of the IGPL 6-5 (1998), Oxford UP.
  • Special issue on Generalized Sequent Systems, Logic Journal of the IGPL 6-3 (1998), Oxford UP.

top