Patrick Blackburn

	2011
51		Patrick Blackburn, Hans P. van Ditmarsch, María Manzano, Fernando Soler-Toscano: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings Springer 2011
50		Luciana Benotti, Patrick Blackburn: Classical Planning and Causal Implicatures. CONTEXT 2011: 26-39
	2010
49		Luciana Benotti, Patrick Blackburn: Negotiating causal implicatures. SIGDIAL Conference 2010: 67-70
48		Carlos Areces, Patrick Blackburn: Special Issue on Hybrid Logics. J. Applied Logic 8(4): 303-304 (2010)
	2009
47		Thomas Bolander, Patrick Blackburn: Terminating Tableau Calculi for Hybrid Logics Extending K. Electr. Notes Theor. Comput. Sci. 231: 21-39 (2009)
46		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
45		Patrick Blackburn, Sébastien Hinderer: Generating models for temporal representations CoRR abs/0710.2852: (2007)
44		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)
43		Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)
42		Thomas Bolander, Patrick Blackburn: Termination for Hybrid Tableaus. J. Log. Comput. 17(3): 517-554 (2007)
	2006
41		Patrick Blackburn: The Language of Time: A Reader. Computational Linguistics 32(3): 445-446 (2006)
40		Patrick Blackburn, Balder ten Cate: Pure Extensions, Proof Rules, and Hybrid Axiomatics. Studia Logica 84(2): 277-322 (2006)
39		Patrick Blackburn: Arthur Prior and Hybrid Logic. Synthese 150(3): 329-372 (2006)
	2005
38		Carlos Areces, Patrick Blackburn: Reichenbach, Prior and Montague: A Semantic Get-together. We Will Show Them! (1) 2005: 77-88
37		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
36		Patrick Blackburn, Michael Kohlhase: Inference and Computational Semantics. Journal of Logic, Language and Information 13(2): 117-120 (2004)
	2003
35		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
34		Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx: Handling Boolean A Boxes. Description Logics 2003
33		Carlos Areces, Patrick Blackburn, Maarten Marx: Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Logic 124(1-3): 287-299 (2003)
32		Patrick Blackburn, Maarten Marx: Constructive interpolation in hybrid logic. J. Symb. Log. 68(2): 463-480 (2003)
	2002
31		Patrick Blackburn, Maarten Marx: Tableaux for Quantified Hybrid Logic. TABLEAUX 2002: 38-52
30		Patrick Blackburn, Maarten Marx: Remarks on Gregory's "Actually" Operator. J. Philosophical Logic 31(3): 281-288 (2002)
29		Patrick Blackburn: Editorial. Journal of Logic, Language and Information 11(1): 1 (2002)
	2001
28		Patrick Blackburn, Jaap Kamps, Maarten Marx: Situation Calculus as Hybrid Logic: First Steps. EPIA 2001: 253-260
27		Patrick Blackburn, Valentin Goranko: Hybrid Ockhamist Temporal Logic. TIME 2001: 183-188
26		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		Patrick Blackburn, Maarten Marx: Third International Workshop on Hybrid Logic (HyLo'01). Logic Journal of the IGPL 9(5): 735-737 (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		Patrick Blackburn: Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic Journal of the IGPL 8(3): 339-365 (2000)
20		Carlos Areces, Patrick Blackburn, Maarten Marx: The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL 8(5): 653-679 (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		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		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		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		Patrick Blackburn, Claire Gardent: A Specification Language for Lexical Functional Grammars. EACL 1995: 39-44
8		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		Patrick Blackburn, Wilfried Meyer-Viol: Linguistics, Logic and Finite Trees. Logic Journal of the IGPL 2(1): 3-29 (1994)
	1993
3		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		Steven Bird, Patrick Blackburn: A Logical Approach To Arabic Phonology. EACL 1991: 89-94

Coauthor Index

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

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page