Book publications

• E Graedel, P Kolaitis, L Libkin, M Marx, J Spencer, M Vardi, Y Venema, S Weinstein,
  Finite Model Theory and Its Applications,
  Texts in Theoretical Computer Science, Springer, Berlin, 2007.
• P Blackburn, M de Rijke and Y Venema, Modal Logic.
  Cambridge University Press, Theoretical Tracts in Computer Science, 2001.
• J van Benthem, P Dekker, J van Eijck, M de Rijke and Y Venema. Logic in Action.
  Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, 2001.
• M Marx and Y Venema, Multi-Dimensional Modal Logic.
  Kluwer Academic Press, 1996.

Volumes edited

• G Governatori, I Hodkinson and Y Venema (editors), Advances in Modal Logic Volume 6 (Proceedings of the AiML 2006 Conference), College Publications, London, 2006.
• J Gerbrandy, M Marx, M de Rijke and Y Venema (editors), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday
  Amsterdam University Press, Vossius Pers, Amsterdam, 1999 (cd-rom).
• A Ponse, M de Rijke and Y Venema (editors), Modal Logic and Process Algebra, Lecture Notes No. 53, CSLI Publications, 1995.