| Modal Logic P Blackburn, M De Rijke, Y Venema Cambridge University Press, 2002 | 4121 | 2002 |
| Handbook of Modal Logic P Blackburn, J van Benthem, F Wolter Elsevier 1 (1.1), 11.3, 2006 | 664 | 2006 |
| Representation and inference for natural language: A first course in computational semantics. P Blackburn, J Bos CSLI Publications, 2005 | 536* | 2005 |
| Representation, reasoning, and relational structures: A hybrid logic manifesto P Blackburn Logic Journal of IGPL, 2000 | 376 | 2000 |
| Hybrid languages P Blackburn, J Seligman Journal of Logic, Language and Information 4 (3), 251-272, 1995 | 290 | 1995 |
| Monitoring clinical trials: conditional or predictive power? DJ Spiegelhalter, LS Freedman, PR Blackburn Controlled Clinical Trials 7 (1), 8-17, 1986 | 258 | 1986 |
| Hybrid logics: Characterization, interpolation and complexity C Areces, P Blackburn, M Marx Journal of Symbolic Logic, 977-1010, 2001 | 257 | 2001 |
| Linguistics, logic and finite trees P Blackburn, W Meyer-Viol Logic Journal of the IGPL 2 (1), 3-29, 1994 | 229 | 1994 |
| Modal logic: a semantic perspective P Blackburn, J Van Benthem Handbook of Modal Logic, 1-84, 2007 | 199* | 2007 |
| A road-map on complexity for hybrid logics C Areces, P Blackburn, M Marx International Workshop on Computer Science Logic, 307-321, 1999 | 173 | 1999 |
| Internalizing labelled deduction P Blackburn Journal of Logic and Computation 10 (1), 137-168, 2000 | 171 | 2000 |
| Nominal tense logic P Blackburn Institute for Language, Logic and Information, University of Amsterdam, 1990 | 161 | 1990 |
| The computational complexity of hybrid temporal logics C Areces, P Blackburn, M Marx Logic Journal of the IGPL 8 (5), 653-679, 2000 | 138 | 2000 |
| Hybrid languages and temporal logic P Blackburn, M Tzakova Logic journal of IGPL 7 (1), 27-54, 1999 | 129 | 1999 |
| Inference and computational semantics P Blackburn, J Bos, M Kohlhase, H De Nivelle Computing Meaning, 11-28, 2001 | 117 | 2001 |
| Working with Discourse Representation Theory: An advanced course in computational semantics P Blackburn, J Bos | 103* | 2000 |
| A modal perspective on the computational complexity of attribute value grammar P Blackburn, E Spaan Journal of Logic, Language and Information 2 (2), 129-169, 1993 | 103 | 1993 |
| Learn Prolog Now! P Blackburn, J Bos, K Striegnitz College Publications 7 (7), 2006 | 100* | 2006 |
| Termination for hybrid tableaus T Bolander, P Blackburn Journal of Logic and Computation 17 (3), 517-554, 2007 | 88 | 2007 |
| Pure extensions, proof rules, and hybrid axiomatics P Blackburn, B Ten Cate Studia Logica 84 (2), 277-322, 2006 | 88 | 2006 |
Maarten de RijkeUniversity of Amsterdam - Ahold Delhaize - ICAIVerified email at uva.nl
