Folgen
Patrick Blackburn
Patrick Blackburn
Professor of Philosophy, Roskilde University, Denmark
Bestätigte E-Mail-Adresse bei ruc.dk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Modal Logic
P Blackburn, M De Rijke, Y Venema
Cambridge University Press, 2002
4657*2002
Handbook of Modal Logic
P Blackburn, J van Benthem, F Wolter
Elsevier 1 (1.1), 11.3, 2006
7582006
Representation and inference for natural language: A first course in computational semantics.
P Blackburn, J Bos
CSLI Publications, 2005
574*2005
Representation, reasoning, and relational structures: A hybrid logic manifesto
P Blackburn
Logic Journal of IGPL, 2000
4082000
Hybrid languages
P Blackburn, J Seligman
Journal of Logic, Language and Information 4, 251-272, 1995
2981995
Hybrid logics: Characterization, interpolation and complexity
C Areces, P Blackburn, M Marx
The Journal of Symbolic Logic 66 (3), 977-1010, 2001
2952001
Monitoring clinical trials: conditional or predictive power?
DJ Spiegelhalter, LS Freedman, PR Blackburn
Controlled Clinical Trials 7 (1), 8-17, 1986
2951986
Linguistics, logic and finite trees
P Blackburn, W Meyer-Viol
Logic Journal of the IGPL 2 (1), 3-29, 1994
2491994
Modal logic: a semantic perspective
P Blackburn, J Van Benthem
Handbook of Modal Logic, 1-84, 2007
234*2007
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
1881999
Internalizing labelled deduction
P Blackburn
Journal of Logic and Computation 10 (1), 137-168, 2000
1742000
Nominal tense logic
P Blackburn
Notre Dame Journal of formal logic 34 (1), 56-83, 1993
1671993
The computational complexity of hybrid temporal logics
C Areces, P Blackburn, M Marx
Logic Journal of the IGPL 8 (5), 653-679, 2000
1432000
Hybrid languages and temporal logic
P Blackburn, M Tzakova
Logic journal of IGPL 7 (1), 27-54, 1999
1331999
Inference and computational semantics
P Blackburn, J Bos, M Kohlhase, H De Nivelle
Computing Meaning: Volume 2, 11-28, 2001
1302001
Learn Prolog Now!
P Blackburn, J Bos, K Striegnitz
College Publications 7 (7), 2006
1092006
Pure extensions, proof rules, and hybrid axiomatics
P Blackburn, B Cate
Studia Logica, 277-322, 2006
1062006
Working with Discourse Representation Theory: An advanced course in computational semantics
P Blackburn, J Bos
105*2000
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
1001993
Termination for hybrid tableaus
T Bolander, P Blackburn
Journal of Logic and Computation 17 (3), 517-554, 2007
942007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20