Patrick Blackburn - Google Scholar

Cited by

	All	Since 2015
Citations	9787	2653
h-index	35	17
i10-index	62	28

680

340

170

510

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202038 29 42 38 64 80 138 122 239 250 294 296 378 444 668 545 601 581 579 495 474 525 481 521 437 450 446 315

Co-authors

Maarten de RijkeUniversity of Amsterdam - Ahold Delhaize - 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
Hans de NivelleNazarbayev University, Astana, KazakhstanVerified email at nu.edu.kz
Jeremy SeligmanPhilosophy, The University of AucklandVerified email at auckland.ac.nz
Luciana BenottiUniversity of CordobaVerified email at famaf.unc.edu.ar
Balder ten CateSoftware Engineer, GoogleVerified email at google.com
M. Antonia HuertasFaculty of Computer Science, Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
Steven BirdCharles Darwin University and University of California, BerkeleyVerified email at cdu.edu.au
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
Eric Villemonte De la ClergerieINRIAVerified email at inria.fr

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	4037	2002
Handbook of Modal Logic P Blackburn, J van Benthem, F Wolter Elsevier 1 (1.1), 11.3, 2006	658	2006
Representation and inference for natural language: A first course in computational semantics. P Blackburn, J Bos CSLI Publications, 2005	537*	2005
Representation, reasoning, and relational structures: A hybrid logic manifesto P Blackburn Logic Journal of IGPL, 2000	367	2000
Hybrid languages P Blackburn, J Seligman Journal of Logic, Language and Information 4 (3), 251-272, 1995	288	1995
Hybrid logics: Characterization, interpolation and complexity C Areces, P Blackburn, M Marx Journal of Symbolic Logic, 977-1010, 2001	254	2001
Monitoring clinical trials: conditional or predictive power? DJ Spiegelhalter, LS Freedman, PR Blackburn Controlled Clinical Trials 7 (1), 8-17, 1986	252	1986
Linguistics, logic and finite trees P Blackburn, W Meyer-Viol Logic Journal of the IGPL 2 (1), 3-29, 1994	225	1994
Modal logic: a semantic perspective P Blackburn, J Van Benthem Handbook of Modal Logic, 1-84, 2007	192*	2007
A road-map on complexity for hybrid logics C Areces, P Blackburn, M Marx International Workshop on Computer Science Logic, 307-321, 1999	172	1999
Internalizing labelled deduction P Blackburn Journal of Logic and Computation 10 (1), 137-168, 2000	170	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	137	2000
Hybrid languages and temporal logic P Blackburn, M Tzakova Logic journal of IGPL 7 (1), 27-54, 1999	126	1999
Inference and computational semantics P Blackburn, J Bos, M Kohlhase, H De Nivelle Computing Meaning, 11-28, 2001	110	2001
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
Learn Prolog Now! P Blackburn, J Bos, K Striegnitz College Publications 7 (7), 2006	101*	2006
Pure extensions, proof rules, and hybrid axiomatics P Blackburn, B Ten Cate Studia Logica 84 (2), 277-322, 2006	88	2006
Termination for hybrid tableaus T Bolander, P Blackburn Journal of Logic and Computation 17 (3), 517-554, 2007	87	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

Upload PDF

Follow this author

Cited by

Co-authors