!!Patrick Blackburn - Selected publications
\\
Completeness in Hybrid Type Theory, with C. Areces, A. Huertas  and M. Manzano, Journal of Philosophical Logic. Online version published 10th January 2013, DOI 10.1007/s10992-012-9260-4.\\
\\
Handbook of Modal Logic, edited with J. van Benthem and F. Wolter, Elsevier, 2007. (Cited 298 times.)\\
\\
Arthur Prior and Hybrid Logic, Synthese, 50 (2006), 329--372. (Cited 29 times.)\\
\\
Representation and Inference for Natural Language: A First Course in Computational Semantics, with J. Bos, CSLI Press, 2005. (Cited 360 times.)\\
\\
Hybrid Logic: Characterization, Interpolation and Complexity, with C. Areces and M. Marx, Journal of Symbolic Logic, 66 (2001), 977--1010. (Cited 192 times.)\\
\\
Modal Logic, with M. de Rijke and Y.  Venema, Cambridge University Press, 2001. (Cited 2410 times.)\\
\\
Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto, Logic Journal of the IGPL, 8(3), 339-625, 2000. (Cited 225 times.)\\
\\
Linguistics, logic and finite trees, with W Meyer-Viol, Logic Journal of IGPL 2 (1998), 3-29. (Cited 148 times.)\\
\\
Hybrid Languages, with J. Seligman, Journal of Logic, Language and Information, 4 (1995), 251--272. (Cited 225 times.)\\
\\
Tense, Temporal Reference and Tense Logic,  Journal of Semantics, 11 (1994), 83--101. (Cited 58 times.)