| Modal Logic P Blackburn, M De Rijke, Y Venema Cambridge University Press, 2002 | 5146* | 2002 |
| Handbook of Modal Logic P Blackburn, J van Benthem, F Wolter Elsevier 1 (1.1), 11.3, 2006 | 836 | 2006 |
| Representation and inference for natural language: A first course in computational semantics. P Blackburn, J Bos CSLI Publications, 2005 | 595* | 2005 |
| Representation, reasoning, and relational structures: A hybrid logic manifesto P Blackburn Logic Journal of IGPL, 2000 | 424 | 2000 |
| Hybrid languages P Blackburn, J Seligman Journal of Logic, Language and Information 4, 251-272, 1995 | 320 | 1995 |
| Monitoring clinical trials: conditional or predictive power? DJ Spiegelhalter, LS Freedman, PR Blackburn Controlled Clinical Trials 7 (1), 8-17, 1986 | 319 | 1986 |
| Hybrid logics: Characterization, interpolation and complexity C Areces, P Blackburn, M Marx The Journal of Symbolic Logic 66 (3), 977-1010, 2001 | 313 | 2001 |
| Modal logic: a semantic perspective P Blackburn, J Van Benthem Handbook of Modal Logic, 1-84, 2007 | 258* | 2007 |
| Linguistics, logic and finite trees P Blackburn, W Meyer-Viol Logic Journal of the IGPL 2 (1), 3-29, 1994 | 253 | 1994 |
| 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 | 192 | 1999 |
| Internalizing labelled deduction P Blackburn Journal of Logic and Computation 10 (1), 137-168, 2000 | 183 | 2000 |
| Nominal tense logic P Blackburn Notre Dame Journal of formal logic 34 (1), 56-83, 1993 | 176 | 1993 |
| The computational complexity of hybrid temporal logics C Areces, P Blackburn, M Marx Logic Journal of the IGPL 8 (5), 653-679, 2000 | 149 | 2000 |
| Hybrid languages and temporal logic P Blackburn, M Tzakova Logic journal of IGPL 7 (1), 27-54, 1999 | 134 | 1999 |
| Inference and computational semantics P Blackburn, J Bos, M Kohlhase, H De Nivelle Computing Meaning: Volume 2, 11-28, 2001 | 130 | 2001 |
| Pure extensions, proof rules, and hybrid axiomatics P Blackburn, B Cate Studia Logica 84, 277-322, 2006 | 123 | 2006 |
| Learn Prolog Now! P Blackburn, J Bos, K Striegnitz College Publications 7 (7), 2006 | 116 | 2006 |
| 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 | 113 | 1993 |
| Working with Discourse Representation Theory: An advanced course in computational semantics P Blackburn, J Bos | 106* | 2000 |
| Termination for hybrid tableaus T Bolander, P Blackburn Journal of Logic and Computation 17 (3), 517-554, 2007 | 99 | 2007 |
Maarten de RijkeUniversity of Amsterdam & ICAIuva.nl의 이메일 확인됨