| Modal Logic P Blackburn, M De Rijke, Y Venema Cambridge University Press, 2002 | 4746* | 2002 |
| Handbook of Modal Logic P Blackburn, J van Benthem, F Wolter Elsevier 1 (1.1), 11.3, 2006 | 775 | 2006 |
| Representation and inference for natural language: A first course in computational semantics. P Blackburn, J Bos CSLI Publications, 2005 | 579* | 2005 |
| Representation, reasoning, and relational structures: A hybrid logic manifesto P Blackburn Logic Journal of IGPL, 2000 | 415 | 2000 |
| Hybrid languages P Blackburn, J Seligman Journal of Logic, Language and Information 4, 251-272, 1995 | 302 | 1995 |
| Monitoring clinical trials: conditional or predictive power? DJ Spiegelhalter, LS Freedman, PR Blackburn Controlled Clinical Trials 7 (1), 8-17, 1986 | 299 | 1986 |
| Hybrid logics: Characterization, interpolation and complexity C Areces, P Blackburn, M Marx The Journal of Symbolic Logic 66 (3), 977-1010, 2001 | 297 | 2001 |
| Linguistics, logic and finite trees P Blackburn, W Meyer-Viol Logic Journal of the IGPL 2 (1), 3-29, 1994 | 252 | 1994 |
| Modal logic: a semantic perspective P Blackburn, J Van Benthem Handbook of Modal Logic, 1-84, 2007 | 244* | 2007 |
| A road-map on complexity for hybrid logics C Areces, P Blackburn, M Marx Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999 | 189 | 1999 |
| Internalizing labelled deduction P Blackburn Journal of Logic and Computation 10 (1), 137-168, 2000 | 175 | 2000 |
| Nominal tense logic P Blackburn Notre Dame Journal of formal logic 34 (1), 56-83, 1993 | 168 | 1993 |
| The computational complexity of hybrid temporal logics C Areces, P Blackburn, M Marx Logic Journal of the IGPL 8 (5), 653-679, 2000 | 143 | 2000 |
| Hybrid languages and temporal logic P Blackburn, M Tzakova Logic journal of IGPL 7 (1), 27-54, 1999 | 133 | 1999 |
| Inference and computational semantics P Blackburn, J Bos, M Kohlhase, H De Nivelle Computing Meaning: Volume 2, 11-28, 2001 | 130 | 2001 |
| Learn Prolog Now! P Blackburn, J Bos, K Striegnitz College Publications 7 (7), 2006 | 110 | 2006 |
| Pure extensions, proof rules, and hybrid axiomatics P Blackburn, B Cate Studia Logica, 277-322, 2006 | 109 | 2006 |
| Working with Discourse Representation Theory: An advanced course in computational semantics P Blackburn, J Bos | 105* | 2000 |
| A modal perspective on the computational complexity of attribute value grammar P Blackburn, E Spaan Journal of Logic, Language and Information 2, 129-169, 1993 | 102 | 1993 |
| Termination for hybrid tableaus T Bolander, P Blackburn Journal of Logic and Computation 17 (3), 517-554, 2007 | 94 | 2007 |
Maarten de RijkeUniversity of Amsterdam & ICAIVerified email at uva.nl
