## Recent Papers

**Arthur Prior and 'Now'**, by Patrick Blackburn and Klaus Frovin Jørgensen. Accepted for publication in*Synthese*, 2015.

**Reichenbach, Prior and Hybrid Tense Logic, by Patrick Blackburn and Klaus Frovin Jørgensen.****Accepted for publication in***Synthese*, 2015.**Completeness and Termination in a Seligman-Style Tableaux System, by Patrick Blackburn, Thomas Bolander, Torben Brauner, and Klaus****Frovin Jørgensen**.**Accepted for publication in***Journal of Logic and Computation*, 2015.**Completeness in Hybrid Type Theory, by Carlos Areces, Patrick Blackburn, Antonia Huertas, and Maria Manzano****. In***Journal of Philosophical Logic*, volume 43, pages 209-238, 2014.**Henkin and Hybrid Logic,**Patrick Blackburn, Antonia Huertas, Maria Manzano, and**Klaus Frovin Jørgensen**. In*The Life and Work of Leon Henkin, edited by Manzano, Sain and Alonso, Studies in Universal Logic, Birkhauser,**pages 279-306,*2014.

**Context and Implicature, by Luciana Benotti and Patrick Blackburn. In***Context in Computing: A Crossdisciplinary Approach for Modelling the Real World, edited by Brezillon and Gonzalez, Chapter 26, Springer Verlag*, 2014.- Contextual Validity in Hybrid Logic, by Patrick Blackburn and Klaus Frovin Jørgensen.
*In Proceedings of CONTEXT 2013, Lecture Notres in Artificial Intelligence (LNAI) 8175, pages 185-198*, 2013. - A Seligman-Style Tableau System, by Patrick Blackburn,
**Thomas Bolander, Torben Brauner,**and Klaus Frovin Jørgensen. In, Springer Verlag, 2013.**Proceedings of LPAR-19, Logic for Programming, Artificial Intelligence and Reasoning, Lecture Notres in Computer Science (LNCS) 8312, pages 147-163**

**Indexical Hybrid Logic, by Patrick Blackburn and Klaus Frovin Jørgensen. In***Advances in Modal Logic*, edited by Bolander, Braüner, Ghilardi, and Moss, pp. 144-160, College Publications, 2012.

## Books

- 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!, 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, by Patrick Blackburn and Johan Bos. CSLI Press, 2005. ISBN-10: 1575864967, ISBN-13: 978-1575864969.
- 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.

## Edited Books

- Tools for Teaching Logic | Third International Congress, TICTTL, 2011, Salamanca, Spain, June 1-4, 2011, Proceedings, edited by Patrick Blackburn, Hans van Ditmarsch, Mara Manzano, and Fernando Soler-Toscano, Lecture Notes in Computer Science 6680, Springer, 2011.
- Handbook of Modal Logic, edited by Patrick Blackburn, Johan van Benthem and Frank Wolter. Elsevier. 2007. ISBN-10: 0444516905, ISBN-13: 978-0444516909.
- Modeling and Using Context: Proceedings of the 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, edited by Patrick Blackburn, Chiara Ghidini, Roy Turner, and Fausto Giunchiglia. Lecture Notes in Articial Intelligence, Springer, 2003. ISBN-13: 9783540403807
- Logic, Language and Computation: Volume 3 , edited by Lawrence Cavedon, Patrick Blackburn, Nick Braisby, and Atsushi Shimojima. CSLI Publications. 2000. ISBN 1-57586-268-9.
- Specifying Syntactic Structures, edited by Patrick Blackburn and Maarten de Rijke. Studies in Logic, Language and Information, CSLI Publications, Stanford. 1997. ISBN 1-57586-084-8.

## Special Issues

- Hybrid Logic: Bringing them all Together, edited by Carlos Areces and Patrick Blackburn, Special issue of Journal of Logic and Computation, volume 11(5), October 2001.
- Alan Turing and Artificial Intelligence, edited by Varol Akman and Patrick Blackburn. Special issue of Journal of Logic, Language and Information, volume 9(4), October 2000.
- Combining Logics, edited by Patrick Blackburn and Maarten de Rijke. Special issue of Notre Dame Journal of Formal Logic, volume 37, Spring 1996.
- Static and Dynamic Perspectives on Syntactic Structure, edited by Patrick Blackburn. Special issue of Journal of Logic, Language and Information, volume 4(1), April 1995.

## Journal Articles

- Termination for Hybrid Tableaus, by Thomas Bolander and Patrick Blackburn, Journal of Logic and Computation, 17, 517-554, 2007.
- Pure Extensions, Proof Rules, and Hybrid Axiomatics, by Patrick Blackburn and Balder ten Cate, Studia Logica, 84, 277--322, 2006.
- Arthur Prior and Hybrid Logic, by Patrick Blackburn. Synthese, 150, 329--372, 2006.
- PDL for ordered trees, by Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx and Maarten de Rijke. Journal of Applied Non-Classical Logics, 15(2), 115--135, 2005.
- Repairing the Interpolation Theorem in Quantified Modal Logic, by Carlos Areces, Patrick Blackburn and Maarten Marx. Annals of Pure and Applied Logic, 124, 287-299, 2003.
- Constructive Interpolation in Hybrid Logic, by Patrick Blackburn and Maarten Marx. Journal of Symbolic Logic, 68(2), 463-480, 2003.
- Computational Semantics, by Patrick Blackburn and Johan Bos. Theoria, 18, 27-45, 2003.
- Remarks on D. Gregory's Article on Propositional Modal Logics Containing "Actually" Operators, by Patrick Blackburn and Maarten Marx. Journal of Philosophical Logic, 31(3), 281-288, 2002.
- Hybrid Logic: Characterization, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx. Journal of Symbolic Logic, 66(3), 977-1010, 2001.
- Modal Logic as Dialogical Logic, by Patrick Blackburn. Synthese, 127, 57-93, 2001.
- The Computational Complexity of Hybrid Temporal Logics, by Carlos Areces, by Patrick Blackburn and Maarten Marx. Logic Journal of the IGPL, 8(5), 653-679, 2000.

Journal Articles cont

- Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto, by Patrick Blackburn. Logic Journal of the IGPL, 8(3), 339-625, 2000.
- Internalizing Labelled Deduction, by Patrick Blackburn. Journal of Logic and Computation, 10, 137-168, 2000.
- Hybrid Languages and Temporal Logic, by Patrick Blackburn and Miroslava Tzakova, Logic Journal of the IGPL, 7(1), 27-54, 1999. (The long version of this paper is also available. Among other things, this is the only source for material on the downarrow-1 binder.)
- Hybridizing Concept Languages, by Patrick Blackburn and Miroslava Tzakova, Annals of Mathematics and Artificial Intelligence, 24, 23-49, 1998.
- Hybrid Completeness, Patrick Blackburn and Miroslava Tzakova, Logic Journal of the IGPL, 4, 625-650, 1998.
- Why Combine Logics?, by Patrick Blackburn and Maarten de Rijke, Studia Logica, 59, 5-27, 1997.
- Reasoning about Changing Information, by Patrick Blackburn, Jan Jaspars, and Maarten de Rijke, South African Computer Journal, 19, 2-26, 1997
- Zooming In, Zooming Out, by Patrick Blackburn and Maarten de Rijke, Journal of Logic, Language and Information, 6, 5-31, 1997.
- Hybrid Languages, by Patrick Blackburn and Jerry Seligman, Journal of Logic, Language and Information, 4, 251-272, 1995.
- Dynamic Squares, by Patrick Blackburn and Yde Venema, Journal of Philosophical Logic, 24, 469-523, 1995.
- Tense, Temporal Reference and Tense Logic, by Patrick Blackburn, Journal of Semantics, 11, 83-101, 1994.
- Linguistics, Logic, and Finite Trees, by Patrick Blackburn and Wilfried Meyer-Viol, Logic Journal of the IGPL, 2, 3-29, 1994.
- A Modal Perspective on the Computational Complexity of Attribute Value Grammar, by Patrick Blackburn and Edith Spaan, Journal of Logic, Language and Information, 2, 129-169, 1993.
- Nominal Tense Logic, by Patrick Blackburn, Notre Dame Journal of Formal Logic, 14, 56-83, 1993.
- Monitoring Clinical Trials: Conditional or Predictive Power?, by David Spiegelhalter, Laurence Freedman and Patrick Blackburn. Controlled Clinical Trials, 7, 8-17, 1986.

- Modal Logic: a Semantic perspective, by Patrick Blackburn and Johan van Benthem. In
*Handbook of Modal Logic,*edited by Patrick Blackburn, Johan van Benthem and Frank Wolter. Elsevier, 2007, pages 1-84. - Reichenbach, Prior and Montague: A semantic get-together, by Carlos Areces and Patrick Blackburn. In
*We Will Show Them! Essays in Honour of Dov Gabbay (Volume One)*, College Publication, 2005, pages 77-87. - Inference and Computational Semantics, by Patrick Blackburn, Johan Bos, Michael Kohlhase, and Hans de Nivelle. In
*Computing Meaning, Volume 2*, edited by H .Bunt, R. Muskens, and E.Thijsse, Kluwer Academic Publishers, 2001, pages 11-28. - Fine Grained Theories of Time, by Patrick Blackburn. In
*Essays on Non-Classical Logic*, edited by H. Wansing, World Scientific Publishing, 2001, pages 1-36. - Discipline as Logic: Treating Labels as First-Class Citizens, by Patrick Blackburn. In
*Labeled Deduction*, edited by D. Basin, D. Gabbay, S. Matthews, and L. Vigano, Kluwer Academic Publishers, 2000, pages 81-105. - What are Hybrid Languages?, by Patrick Blackburn and Jerry Seligman. In
*Advances in Modal Logic, Volume 1*, edited by M. Kracht, M. de Rijke, H. Wansing, M. Zakharyaschev, CSLI Publications, 1998, pages 41-62. - Modal Logic and Model Theoretic Syntax, by Patrick Blackburn and Wilfried Meyer-Viol. In
*Advances in Intensional Logic*, edited by M. de Rijke, Kluwer Academic Publishers, 1997, pages 29-60. - Relational Methods in Logic, Language and Information, by Patrick Blackburn, Maarten de Rijke and Yde Venema. Chapter 14 of
*Relational Methods in Computer Science*, edited by C. Brink, W. Kahl, and G. Schmidt, Springer Verlag, pages 211-225, 1997. - Structures, Languages and Translations: the Structural Approach to Feature Logic, by Patrick Blackburn. In
*Constraints, Language and Computation*, edited by C. Rupp, M. Rosner and R. Johnson, Academic Press, 1994, pages 1-27. - Modal Logic and Attribute Value Structures, by Patrick Blackburn. In
*Diamonds and Defaults*, edited by M. de Rijke, Kluwer Academic Publishers, 1993, pages 19-65.

- Causal Implicatures and Classical Planning, by Luciana Benotti and Patrick Blackburn. Lecture Notes in
*Artificial Intelligence (LNAI)*6967, pp. 26–39, Springer-Verlag Berlin Heidelberg, 2011 - Terminating Tableau Calculi for Hybrid Logics extending K, by Thomas Bolander and Patrick Blackburn. In
*Proceedings of Methods for Modalities 5 (M4M5)*edited by Areces and Demri, 2007. - Incorporating Asymmetric and Asynchronous Evidence of Understanding in a Grounding Model, by Alexander Denis, Guillaume Pitel, Matthieu Quignard and Patrick Blackburn. In
*11th Workshop on the Semantics and Pragmatics of Dialog, DECALOG 2007*, edited by Artstein and Vieu, Trento, Italy, pages 33-40. - From TYn to DRT: an implementation, by Patrick Blackburn and Sebastien Hinderer. In
*Proceedings of the 3rd International Language and Technology Conference*, Poznan, Poland, 2007, pages 384-388. - Generating models for temporal representation, by Patrick Blackburn and Sebastien Hinderer. In
*Proceedings of Recent Advances in Natural Language Processing, RANLP 2007*, Borovets, Bulgaria, pages 69-75. - Pure Extensions, Proof Rules, and Hybrid Axiomatics, by Patrick Blackburn and Balder ten Cate. In
*Proceedings of Advances in Modal Logic 2004 (AiML 2004)*edited by Schmidt, Pratt-Hartmann, Reynolds and Wansing, Manchester, England. - Handling Boolean ABoxes, by Carlos Areces, Patrick Blackburn, Bernadette Marinez Hernandez and Maarten Marx. In
*Proceedings of the 2003 International Workshop on Description Logics (DL2003)*edited by Calvanese, De Giacomo, and Franconi, Rome, Italy, 2003. - Variable Free Reasoning on Finite Trees, by Patrick Blackburn, Bertrand Gaiffe and Maarten Marx. In
*Proceedings of Mathematics of Language (MOL-8)*, Bloomington, Indiana, USA, 2003. - Tableaux for Quantified Hybrid Logic, by Patrick Blackburn and Maarten Marx. In U. Egly and C. Fernmüller, editors,
*Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen Denmark, July/August, Proceedings*, 2002, pages 38-52. - Beyond Pure Axioms: Node Creating Rules in Hybrid tableaux, by Patrick Blackburn and Balder ten Cate. In
*Proceedings of the 4th Workshop on Hybrid Logics (Hylo@LICS)*, Copenhagen Denmark, 2002. - Quantified Hybrid Logic and Natural Language, by Patrick Blackburn and Maarten Marx. In R. van Rooy and M. Stokhof, editors,
*Proceedings of the Thirteenth Amsterdam Colloquium, December 17-19, 2001*, ILLC Amsterdam, 2001, pages 43-48. - A Tableau System for Quantified Hybrid Logic, by Patrick Blackburn and Maarten Marx. In C. Areces and M. de Rijke, editors,
*M4M-2, Methods for Modalities 2, Workshop Proceedings, November 29-30, 2001*, ILLC Amsterdam, 2001. - Hydra: a Tableau-Based Prover for Basic Hybrid Logic, by Patrick Blackburn, Aljoscha Burchardt, and Stephan Walter. In C. Areces and M. de Rijke, editors,
*M4M-2, Methods for Modalities 2, Workshop Proceedings, November 29-30,2001*, ILLC Amsterdam, 2001. - Hybrid Ockhamist Temporal Logic, by Patrick Blackburn and Valentin Goranko. In C. Bettini and A. Montanari, editors,
*TIME-01, Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning, June 14-16 2001,*IEEE Commputer Society, 2001, pages 183-188. - A Road-Map on Complexity for Hybrid Logics, by Carlos Areces, Patrick Blackburn, and Maarten Marx. In J.Flum and M. Rodriguez-Artalejo, editors,
*Computer Science Logic, Proceedings of the 8th Annual Conference of the EACSL, Madrid, September 1999*, LNCS 1683, Springer, 1999, pages 307-321. - Inference and Computational Semantics, by Patrick Blackburn, Johan Bos, Michael Kohlhase, and Hans de Nivelle. In
*Proceedings of the Third International Workshop on Computational Semantics (IWCS-3), Tilburg, January 1999*, edited by H .Bunt and E.Thijsse, pages 5-19. - Hybrid Logic is the Bounded Fragment of First-Order Logic, by Carlos Areces, Patrick Blackburn, and Maarten Marx. In
*Proceedings of the 6th Workshop on Logic, Language, Information, and Computation (WOLLIC99)*, edited by R. de Queiroz and W. Carnielli, Rio de Janeiro, Brazil, 1999, pages 35-50. - A Description Language for Discourse Semantics, by Patrick Blackburn and Claire Gardent. In
*Proceedings of Logical Aspects of Computational Lingusitics 1998*, Grenoble, December 1998. - Rich Ontologies for Tense and Aspect, by Patrick Blackburn, Claire Gardent and Maarten de Rijke. In
*Logic, Language and Computation: Volume 1*, edited by J. Seligman and D. Westerstahl, CSLI Lecture Notes Number 58, CSLI Publications, 1996, pages 77-92. - A Proof System for Finite Trees, by Patrick Blackburn, Wilfried Meyer-Viol and Maarten de Rijke. In
*Computer Science Logic*, edited by H. Kleine Büning, LNCS 1092, Springer, 1996, pages 86-105. - Logical Aspects of Combined Structures, by Patrick Blackburn and Maarten de Rijke. In
*Logic, Language and Computation: Volume 1*, edited by J. Seligman and D. Westerstahl, CSLI Lecture Notes Number 58, CSLI Publications, 1996, pages 65-76. - A Specification Language for Lexical Functional Grammars, by Patrick Blackburn and Claire Gardent. In
*Proceedings of the Seventh Conference of the European Chapter of the Association for Computational Linguistics*, Dublin, 1995, pages 39 - 44. - Back and Forth through Time and Events, by Patrick Blackburn, Claire Gardent and Maarten de Rijke. In
*Proceedings of the Ninth Amsterdam Colloquium*, Institute for Logic, Language and Computation, Amsterdam, 1993, pages 161-175. - Talking about Trees, by Patrick Blackburn, Claire Gardent and Wilfried Meyer-Viol. In
*Proceedings of the Sixth Conference of the European Chapter of the Association for Computational Linguistics*, Utrecht, 1993, pages 21-29. - Decidability and Undecidability in Stand-Alone Feature Logic, by Patrick Blackburn and Edith Spaan. In
*Proceedings of the Sixth Conference of the European Chapter of the Association for Computational Linguistics*, Utrecht, 1993, pages 30-36. - Sorts and Operators for Temporal Semantics, by Patrick Blackburn and Alex Lascarides, In
*Proceedings of the Fourth International Symposium on Logic and Language*Budapest, 1992. - Tense, Temporal Reference and Tense Logic, Patrick Blackburn. In
*Proceedings of the Eighth Amsterdam Colloquium*, 1991, Institute for Logic, Language and Computation, Amsterdam, pages 57-71. - On the Complexity of Attribute Value Logics, by Patrick Blackburn and Edith Spaan. In
*Proceedings of the Eighth Amsterdam Colloquium*, 1991, Institute for Logic, Language and Computation, Amsterdam, pages 73-91. - A Logical Approach to Arabic Phonology, Patrick Blackburn and Steven Bird. In
*Proceedings of the Fifth Conference of the European Chapter of the Assoociation for Computational Linguistics*, Berlin, 1991, pages 21-29.

- Bringing them all Together, by Carlos Areces and Patrick Blackburn,
*Journal of Logic and Computation*, 11(5), 657-669, 2001. - Logical Aspects of Computational Linguistics: an Introduction, by Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christia Retoré, and Eric Viilmonte de la Clergerie. In
*Logical Aspects of Computational Linguistics*, edited by Christian Retoré, Lecture Notes in Artificial Intelligence 1328, pages 1-20, Springer, 1997. - Introduction: Static and Dynamic Perspectives on Logic, Language and Information, by Patrick Blackburn,
*Journal of Logic, Language and Information*, 4, pages 1-4, 1995.