Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Patrick Blackburn
2010 – today
- 2012
[c15]Patrick Blackburn, Klaus Frovin Jørgensen: Indexical Hybrid Tense Logic. Advances in Modal Logic 2012: 144-160- 2011
- [c14]
- [e2]Patrick Blackburn, Hans P. van Ditmarsch, María Manzano, Fernando Soler-Toscano (Eds.): Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. Lecture Notes in Computer Science 6680, Springer 2011, ISBN 978-3-642-21349-6
- 2010
- [j33]Carlos Areces, Patrick Blackburn: Special Issue on Hybrid Logics. J. Applied Logic 8(4): 303-304 (2010)
- [c13]
2000 – 2009
- 2009
- [j32]Thomas Bolander, Patrick Blackburn: Terminating Tableau Calculi for Hybrid Logics Extending K. Electr. Notes Theor. Comput. Sci. 231: 21-39 (2009)
- [j31]Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn: Experiments in Theorem Proving for Topological Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 309-321 (2009)
- 2007
- [j30]Patrick Blackburn: The Proper Treatment of Events Michiel van Lambalgen and Fritz Hamm (University of Amsterdam and University of Tübingen) Blackwell Publishing (Explorations in semantics series, edited by Susan Rothstein), 2005, xii+252 pp; hardbound, ISBN 1-4051-1213-1. Computational Linguistics 33(2): 263-265 (2007)
- [j29]Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)
- [j28]Thomas Bolander, Patrick Blackburn: Termination for Hybrid Tableaus. J. Log. Comput. 17(3): 517-554 (2007)
- [i2]Patrick Blackburn, Sébastien Hinderer: Generating models for temporal representations. CoRR abs/0710.2852 (2007)
- 2006
- [j27]
- [j26]Patrick Blackburn, Balder ten Cate: Pure Extensions, Proof Rules, and Hybrid Axiomatics. Studia Logica 84(2): 277-322 (2006)
- [j25]
- 2005
- [j24]Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke: PDL for Ordered Trees. Journal of Applied Non-Classical Logics 15(2): 115-135 (2005)
- [c12]Carlos Areces, Patrick Blackburn: Reichenbach, Prior and Montague: A Semantic Get-together. We Will Show Them! (1) 2005: 77-88
- 2004
- [j23]Patrick Blackburn, Michael Kohlhase: Inference and Computational Semantics. Journal of Logic, Language and Information 13(2): 117-120 (2004)
- 2003
- [j22]Carlos Areces, Patrick Blackburn, Maarten Marx: Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Logic 124(1-3): 287-299 (2003)
- [j21]Patrick Blackburn, Maarten Marx: Constructive interpolation in hybrid logic. J. Symb. Log. 68(2): 463-480 (2003)
- [c11]Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx: Handling Boolean A Boxes. Description Logics 2003
- [e1]Patrick Blackburn, Chiara Ghidini, Roy M. Turner, Fausto Giunchiglia (Eds.): Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings. Lecture Notes in Computer Science 2680, Springer 2003, ISBN 3-540-40380-9
- 2002
- [j20]
- [j19]Patrick Blackburn, Maarten Marx: Remarks on Gregory's "Actually" Operator. J. Philosophical Logic 31(3): 281-288 (2002)
- [c10]
- 2001
- [j18]Patrick Blackburn, Maarten Marx: Third International Workshop on Hybrid Logic (HyLo'01). Logic Journal of the IGPL 9(5): 735-737 (2001)
- [j17]Carlos Areces, Patrick Blackburn, Maarten Marx: Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. 66(3): 977-1010 (2001)
- [j16]
- [c9]Patrick Blackburn, Jaap Kamps, Maarten Marx: Situation Calculus as Hybrid Logic: First Steps. EPIA 2001: 253-260
- [c8]
- 2000
- [j15]Patrick Blackburn: Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic Journal of the IGPL 8(3): 339-365 (2000)
- [j14]Carlos Areces, Patrick Blackburn, Maarten Marx: The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL 8(5): 653-679 (2000)
- [j13]Varol Akman, Patrick Blackburn: Editorial: Alan Turing and Artificial Intelligence. Journal of Logic, Language and Information 9(4): 391-395 (2000)
- [j12]
1990 – 1999
- 1999
- [j11]Patrick Blackburn, Miroslava Tzakova: Hybrid Languages and Temporal Logic. Logic Journal of the IGPL 7(1): 27-54 (1999)
- [j10]Patrick Blackburn: Basic Model Theory, Kees Doets. Journal of Logic, Language and Information 8(2): 258-261 (1999)
- [c7]Carlos Areces, Patrick Blackburn, Maarten Marx: A Road-Map on Complexity for Hybrid Logics. CSL 1999: 307-321
- 1998
- [j9]Patrick Blackburn, Miroslava Tzakova: Hybridizing Concept Languages. Ann. Math. Artif. Intell. 24(1-4): 23-49 (1998)
- [j8]Patrick Blackburn, Miroslava Tzakova: Hybrid Completeness. Logic Journal of the IGPL 6(4): 625-650 (1998)
- 1997
- [j7]Patrick Blackburn, Maarten de Rijke: Zooming In, Zooming Out. Journal of Logic, Language and Information 6(1): 5-31 (1997)
- [j6]
- 1996
- [j5]Patrick Blackburn, Maarten de Rijke: Special Issue on Combining Logics - Editor's Introduction. Notre Dame Journal of Formal Logic 37(2): 161-166 (1996)
- [c6]Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Eric Villemonte de la Clergerie: Logical Aspects of Computational Linguistics: An Introduction. LACL 1996: 1-20
- 1995
- [j4]Patrick Blackburn: Introduction: Static and Dynamic Aspects of Syntactic Structure. Journal of Logic, Language and Information 4(1): 1-4 (1995)
- [j3]Patrick Blackburn, Jerry Seligman: Hybrid Languages. Journal of Logic, Language and Information 4(3): 251-272 (1995)
- [c5]Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke: A Proof System for Finite Trees. CSL 1995: 86-105
- [c4]Patrick Blackburn, Claire Gardent: A Specification Language for Lexical Functional Grammars. EACL 1995: 39-44
- [i1]Patrick Blackburn, Claire Gardent: A specification language for Lexical Functional Grammars. CoRR cmp-lg/9503005 (1995)
- 1994
- [j2]Patrick Blackburn, Wilfried Meyer-Viol: Linguistics, Logic and Finite Trees. Logic Journal of the IGPL 2(1): 3-29 (1994)
- [c3]Patrick Blackburn, Claire Gardent, Maarten de Rijke: Back and Forth Through Time and Events. ICTL 1994: 225-237
- 1993
- [j1]
- [c2]
- 1991
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-15 22:12 CET by the dblp team