---

Handbook of Modal Logic

Handbook of Modal Logic, edited by Patrick Blackburn, Johan van Benthem and Frank Wolter. Elsevier. 2007. ISBN-10: 0444516905, ISBN-13: 978-0444516909.

---

Prolog, Tout de Suite!

Prolog, Tout de Suite!, by Patrick Blackburn, Johan Bos, and Kristina Striegnitz, French translation of "Learn Prolog Now!" (translated by by Hélène Manuélian), Cahiers de Loqique et d'Epistémologie, College Publications, 2007. ISBN-10: 1904987524, ISBN-13: 978-1904987529.

---

Learn Prolog Now!

Learn Prolog Now!, by Patrick Blackburn, Johan Bos, and Kristina Striegnitz. Texts in Computing Volume 7, College Publications, 2006. ISBN-10: 1904987176, ISBN-13: 978-1904987178.

---

Representation and Inference for Natural Language: A First Course in Computational Semantics

Representation and Inference for Natural Language: A First Course in Computational Semantics, by Patrick Blackburn and Johan Bos. CSLI Press, 2005. ISBN-10: 1575864967, ISBN-13: 978-1575864969.

---

Modal Logic

Modal Logic, by Patrick Blackburn, Maarten de Rijke and Yde Venema. Cambridge Tracts in Theoretical Computer Science, 53, Cambridge University Press, 2001. ISBN-10: 0521527147, ISBN-13: 978-0521527149.