Concepedia

Patrick Blackburn

PB

Statistics

Publications

41

Citations

2.8K

H-Index

24

Active since

1989

Affiliations

University of Amsterdam(Current)

Institut national de recherche en sciences et technologies du numérique

Saarland University

Centre Inria de l'Université de Lorraine

Roskilde University

Patrick Blackburn is an author at University of Amsterdam specializing in computer science, logic, and formal methods.

ORCID

Publications per year

1989–2021

41

Publications

41

Handbook of Modal Logic

Patrick Blackburn, Johan van Benthem, Frank Wolter · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 426 citations

, , +12

Representation, reasoning, and relational structures: a hybrid logic manifesto

Patrick Blackburn · Logic Journal of IGPL · 2000 · 331 citations

, , +9

Hybrid logics: characterization, interpolation and complexity

Carlos Areces, Patrick Blackburn, M. Marx · Journal of Symbolic Logic · 2001 · 213 citations

, , +15

Linguistics, Logic and Finite Trees

Wilfried Meyer-Viol, Patrick Blackburn · SAS-Space (University of London) · 1994 · 164 citations

, , +17

Internalizing labelled deduction

Patrick Blackburn · Journal of Logic and Computation · 2000 · 130 citations

, , +14

1–5 of 41