Patrick Blackburn

2009
45	EE	Thomas Bolander, Patrick Blackburn: Terminating Tableau Calculi for Hybrid Logics Extending K. Electr. Notes Theor. Comput. Sci. 231: 21-39 (2009)
44	EE	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
43	EE	Patrick Blackburn, Sébastien Hinderer: Generating models for temporal representations CoRR abs/0710.2852: (2007)
42	EE	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)
41	EE	Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)
40	EE	Thomas Bolander, Patrick Blackburn: Termination for Hybrid Tableaus. J. Log. Comput. 17(3): 517-554 (2007)
2006
39	EE	Patrick Blackburn: The Language of Time: A Reader. Computational Linguistics 32(3): 445-446 (2006)
38	EE	Patrick Blackburn, Balder ten Cate: Pure Extensions, Proof Rules, and Hybrid Axiomatics. Studia Logica 84(2): 277-322 (2006)
2005
37		Carlos Areces, Patrick Blackburn: Reichenbach, Prior and Montague: A Semantic Get-together. We Will Show Them! (1) 2005: 77-88
36		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)
2004
35	EE	Patrick Blackburn, Michael Kohlhase: Inference and Computational Semantics. Journal of Logic, Language and Information 13(2): 117-120 (2004)
2003
34		Patrick Blackburn, Chiara Ghidini, Roy M. Turner, Fausto Giunchiglia: Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings Springer 2003
33	EE	Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx: Handling Boolean A Boxes. Description Logics 2003
32	EE	Carlos Areces, Patrick Blackburn, Maarten Marx: Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Logic 124(1-3): 287-299 (2003)
31		Patrick Blackburn, Maarten Marx: Constructive interpolation in hybrid logic. J. Symb. Log. 68(2): 463-480 (2003)
2002
30	EE	Patrick Blackburn, Maarten Marx: Tableaux for Quantified Hybrid Logic. TABLEAUX 2002: 38-52
29		Patrick Blackburn: Editorial. Journal of Logic, Language and Information 11(1): 1 (2002)
2001
28	EE	Patrick Blackburn, Jaap Kamps, Maarten Marx: Situation Calculus as Hybrid Logic: First Steps. EPIA 2001: 253-260
27	EE	Patrick Blackburn, Valentin Goranko: Hybrid Ockhamist Temporal Logic. TIME 2001: 183-188
26	EE	Carlos Areces, Patrick Blackburn: Bringing them all Together. J. Log. Comput. 11(5): 657-669 (2001)
25		Carlos Areces, Patrick Blackburn, Maarten Marx: Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. 66(3): 977-1010 (2001)
24	EE	Patrick Blackburn, Maarten Marx: Third International Workshop on Hybrid Logic (HyLo'01). Logic Journal of the IGPL 9(5): (2001)
2000
23		Patrick Blackburn: Internalizing labelled deduction. J. Log. Comput. 10(1): 137-168 (2000)
22		Varol Akman, Patrick Blackburn: Editorial: Alan Turing and Artificial Intelligence. Journal of Logic, Language and Information 9(4): 391-395 (2000)
21	EE	Patrick Blackburn: Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic Journal of the IGPL 8(3): (2000)
20	EE	Carlos Areces, Patrick Blackburn, Maarten Marx: The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL 8(5): (2000)
1999
19		Carlos Areces, Patrick Blackburn, Maarten Marx: A Road-Map on Complexity for Hybrid Logics. CSL 1999: 307-321
18		Patrick Blackburn: Basic Model Theory, Kees Doets. Journal of Logic, Language and Information 8(2): 258-261 (1999)
17	EE	Patrick Blackburn, Miroslava Tzakova: Hybrid Languages and Temporal Logic. Logic Journal of the IGPL 7(1): 27-54 (1999)
1998
16		Patrick Blackburn, Miroslava Tzakova: Hybridizing Concept Languages. Ann. Math. Artif. Intell. 24(1-4): 23-49 (1998)
15	EE	Patrick Blackburn, Miroslava Tzakova: Hybrid Completeness. Logic Journal of the IGPL 6(4): 625-650 (1998)
1997
14		Patrick Blackburn, Maarten de Rijke: Zooming In, Zooming Out. Journal of Logic, Language and Information 6(1): 5-31 (1997)
13		Patrick Blackburn, Maarten de Rijke: Why Combine Logics? Studia Logica 59(1): 5-27 (1997)
1996
12	EE	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
11		Patrick Blackburn, Maarten de Rijke: Special Issue on Combining Logics - Editor's Introduction. Notre Dame Journal of Formal Logic 37(2): 161-166 (1996)
1995
10		Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke: A Proof System for Finite Trees. CSL 1995: 86-105
9	EE	Patrick Blackburn, Claire Gardent: A Specification Language for Lexical Functional Grammars. EACL 1995: 39-44
8	EE	Patrick Blackburn, Claire Gardent: A specification language for Lexical Functional Grammars CoRR cmp-lg/9503005: (1995)
7		Patrick Blackburn: Introduction: Static and Dynamic Aspects of Syntactic Structure. Journal of Logic, Language and Information 4(1): 1-4 (1995)
6		Patrick Blackburn, Jerry Seligman: Hybrid Languages. Journal of Logic, Language and Information 4(3): 251-272 (1995)
1994
5		Patrick Blackburn, Claire Gardent, Maarten de Rijke: Back and Forth Through Time and Events. ICTL 1994: 225-237
4	EE	Patrick Blackburn, Wilfried Meyer-Viol: Linguistics, Logic and Finite Trees. Logic Journal of the IGPL 2(1): 3-29 (1994)
1993
3	EE	Patrick Blackburn, Claire Gardent, Wilfried Meyer-Viol: Talking About Trees. EACL 1993: 21-29
2		Patrick Blackburn: Nominal Tense Logic. Notre Dame Journal of Formal Logic 34(1): 56-83 (1993)
1991
1	EE	Steven Bird, Patrick Blackburn: A Logical Approach To Arabic Phonology. EACL 1991: 89-94

Coauthor Index

1	Loredana Afanasiev	[36]
2	Varol Akman	[22]
3	Carlos Areces	[19] [20] [25] [26] [32] [33] [37] [44]
4	Steven Bird	[1]
5	Thomas Bolander	[40] [41] [45]
6	Torben Braüner	[41]
7	Balder ten Cate	[38]
8	Eric Villemonte de la Clergerie	[12]
9	Ioanna Dimitriou	[36]
10	Marc Dymetman	[12]
11	Bertrand Gaiffe	[36]
12	Claire Gardent	[3] [5] [8] [9]
13	Chiara Ghidini	[34]
14	Fausto Giunchiglia	[34]
15	Valentin Goranko	[27]
16	Evan Goris	[36]
17	Bernadette Martínez Hernández	[33]
18	Sébastien Hinderer	[43]
19	Guillaume Hoffmann	[44]
20	Jaap Kamps	[28]
21	Michael Kohlhase	[35]
22	Alain Lecomte	[12]
23	Maarten Marx	[19] [20] [24] [25] [28] [30] [31] [32] [33] [36]
24	Wilfried Meyer-Viol	[3] [4] [10]
25	Valeria de Paiva	[41]
26	Aarne Ranta	[12]
27	Christian Retoré	[12]
28	Maarten de Rijke	[5] [10] [11] [13] [14] [36]
29	Jerry Seligman	[6]
30	Dmitry Sustretov	[44]
31	Roy M. Turner	[34]
32	Miroslava Tzakova	[15] [16] [17]
33	Jørgen Villadsen	[41]

Colors in the list of coauthors