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