patrickblackburn.org
Publications - Patrick Blackburn
http://www.patrickblackburn.org/publications.html
Arthur Prior and 'Now'. By Patrick Blackburn and Klaus Frovin Jørgensen. Accepted for publication in. Reichenbach, Prior and Hybrid Tense Logic. By Patrick Blackburn and Klaus Frovin Jørgensen. Accepted for publication in. Completeness and Termination in a Seligman-Style Tableaux System. By Patrick Blackburn, Thomas Bolander, Torben Brauner, and Klaus. Accepted for publication in. Journal of Logic and Computation. Completeness in Hybrid Type Theory. Journal of Philosophical Logic. Henkin and Hybrid Logic.
patrickblackburn.org
Books - Patrick Blackburn
http://www.patrickblackburn.org/books.html
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.
patrickblackburn.org
Links - Patrick Blackburn
http://www.patrickblackburn.org/links.html
Stanford Encyclopedia of Philosophy. Journal of Logic. Language and Information (JoLLI). Notre Dame Journal of Formal Logic. Modal Logic (Blackburn, de Rijke and Venema). Handbook of Modal Logic (Blackburn, van Benthem and Wolter). Blackburn, Bos and Striegnitz). Computational Semantics (Blackburn and Bos). Directory of Logicians Entry.