Patrick Blackburn

Cited by

	All	Since 2017
Citations	10792	2514
h-index	36	16
i10-index	66	26

700

350

175

525

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202241 31 42 42 68 76 148 123 255 250 298 317 359 465 686 548 594 593 585 487 472 534 498 517 438 447 460 403 455 310

Public access

View all

7 articles

1 article

available

not available

Based on funding mandates

Co-authors

Maarten de RijkeUniversity of Amsterdam & ICAIVerified email at uva.nl
Johan BosProfessor of Computational Semantics, University of GroningenVerified email at rug.nl
maarten marxAssistant Professor of Computer Science, University of AmsterdamVerified email at uva.nl
Carlos ArecesUniversidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
Thomas BolanderProfessor, Technical University of DenmarkVerified email at dtu.dk
Klaus Frovin JoergensenVerified email at ruc.dk
Luciana BenottiUniversidad Nacional de Cordoba, ArgentinaVerified email at unc.edu.ar
Jørgen VilladsenDTU ComputeVerified email at dtu.dk
Jeremy SeligmanPhilosophy, The University of AucklandVerified email at auckland.ac.nz
Balder ten CateAssociate ProfessorVerified email at uva.nl
Hans de NivelleNazarbayev University, Astana, KazakhstanVerified email at nu.edu.kz
M. Antonia HuertasFaculty of Computer Science, Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
Asta Halkjær FromPhD student, Technical University of DenmarkVerified email at dtu.dk
Steven BirdProfessor, Charles Darwin UniversityVerified email at cdu.edu.au

Patrick Blackburn

Professor of Philosophy, Roskilde University, Denmark

Verified email at ruc.dk - Homepage

Logic Language Cognition Context


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Modal Logic P Blackburn, M De Rijke, Y Venema Cambridge University Press, 2002	4514	2002
Handbook of Modal Logic P Blackburn, J van Benthem, F Wolter Elsevier 1 (1.1), 11.3, 2006	721	2006
Representation and inference for natural language: A first course in computational semantics. P Blackburn, J Bos CSLI Publications, 2005	565*	2005
Representation, reasoning, and relational structures: A hybrid logic manifesto P Blackburn Logic Journal of IGPL, 2000	404	2000
Hybrid languages P Blackburn, J Seligman Journal of Logic, Language and Information 4 (3), 251-272, 1995	300	1995
Hybrid logics: Characterization, interpolation and complexity C Areces, P Blackburn, M Marx The Journal of Symbolic Logic 66 (3), 977-1010, 2001	289	2001
Monitoring clinical trials: conditional or predictive power? DJ Spiegelhalter, LS Freedman, PR Blackburn Controlled Clinical Trials 7 (1), 8-17, 1986	286	1986
Linguistics, logic and finite trees P Blackburn, W Meyer-Viol Logic Journal of the IGPL 2 (1), 3-29, 1994	244	1994
Modal logic: a semantic perspective P Blackburn, J Van Benthem Handbook of Modal Logic, 1-84, 2007	229*	2007
A road-map on complexity for hybrid logics C Areces, P Blackburn, M Marx International Workshop on Computer Science Logic, 307-321, 1999	182	1999
Internalizing labelled deduction P Blackburn Journal of Logic and Computation 10 (1), 137-168, 2000	177	2000
Nominal tense logic P Blackburn Notre Dame Journal of formal logic 34 (1), 56-83, 1993	169	1993
The computational complexity of hybrid temporal logics C Areces, P Blackburn, M Marx Logic Journal of the IGPL 8 (5), 653-679, 2000	146	2000
Hybrid languages and temporal logic P Blackburn, M Tzakova Logic journal of IGPL 7 (1), 27-54, 1999	130	1999
Inference and computational semantics P Blackburn, J Bos, M Kohlhase, HD Nivelle Computing Meaning, 11-28, 2001	124	2001
Learn Prolog Now! P Blackburn, J Bos, K Striegnitz College Publications 7 (7), 2006	106*	2006
Working with Discourse Representation Theory: An advanced course in computational semantics P Blackburn, J Bos	104*	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
Pure extensions, proof rules, and hybrid axiomatics P Blackburn, B Cate Studia Logica 84 (2), 277-322, 2006	99	2006
Termination for hybrid tableaus T Bolander, P Blackburn Journal of Logic and Computation 17 (3), 517-554, 2007	93	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors