Patrick Blackburn

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 23

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. WoLLIC (2023)
Luciana Benotti, Patrick Blackburn
Ethics consideration sections in natural language processing papers. EMNLP (2022)
Patrick Blackburn, Emiliano Lorini
Logic and Interaction: Foreword to the Special Issue. J. Log. Lang. Inf. 31 (2) (2022)
Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
Exorcising the phantom zone. Inf. Comput. 287 (2022)
Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. CoRR (2022)
Luciana Benotti, Patrick Blackburn
A recipe for annotating grounded clarifications. CoRR (2021)
Luciana Benotti, Patrick Blackburn
Grounding as a Collaborative Process. EACL (2021)
Luciana Benotti, Patrick Blackburn
A recipe for annotating grounded clarifications. NAACL-HLT (2021)
Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn
Isabelle/HOL as a Meta-Language for Teaching Logic. ThEdu@IJCAR (2020)
Torben Braüner, Patrick Blackburn, Irina Polyanskaya
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks. Top. Cogn. Sci. 12 (2) (2020)
Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen
Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). IJCAR (1) (2020)
Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
Rigid First-Order Hybrid Logic. WoLLIC (2019)
Torben Braüner, Irina Polyanskaya, Patrick Blackburn
A logical investigation of false-belief tasks. CogSci (2018)
Luciana Benotti, Patrick Blackburn
Modeling the clarification potential of instructions: Predicting clarification requests and other reactions. Comput. Speech Lang. 45 (2017)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
Completeness and termination for a Seligman-style tableau system. J. Log. Comput. 27 (1) (2017)
Patrick Blackburn
The New Trivium. FLAP 4 (1) (2017)
Patrick Blackburn, Klaus Frovin Jørgensen
Reichenbach, Prior and hybrid tense logic. Synth. 193 (11) (2016)
Torben Braüner, Patrick Blackburn, Irina Polyanskaya
Recursive belief manipulation and second-order false-beliefs. CogSci (2016)
Irina Polyanskaya, Torben Braüner, Patrick Blackburn
Linguistic recursion and Autism Spectrum Disorder. CogSci (2016)
Luciana Benotti, Patrick Blackburn
Polite Interactions with Robots. Robophilosophy/TRANSOR (2016)
Torben Braüner, Patrick Blackburn, Irina Polyanskaya
Second-Order False-Belief Tasks: Analysis and Formalization. WoLLIC (2016)
Patrick Blackburn, Klaus Frovin Jørgensen
Arthur Prior and 'Now'. Synth. 193 (11) (2016)
Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner
Synthetic completeness proofs for Seligman-style tableau systems. Advances in Modal Logic (2016)
Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
Completeness in Hybrid Type Theory. J. Philos. Log. 43 (2-3) (2014)
Patrick Blackburn, Klaus Frovin Jørgensen
Contextual Validity in Hybrid Logic. CONTEXT (2013)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
A Seligman-Style Tableau System. LPAR (2013)
Patrick Blackburn, Klaus Frovin Jørgensen
Indexical Hybrid Tense Logic. Advances in Modal Logic (2012)
Luciana Benotti, Patrick Blackburn
Classical Planning and Causal Implicatures. CONTEXT (2011)
Luciana Benotti, Patrick Blackburn
Negotiating causal implicatures. SIGDIAL Conference (2010)
Carlos Areces, Patrick Blackburn
Special Issue on Hybrid Logics. J. Appl. Log. 8 (4) (2010)
Thomas Bolander, Patrick Blackburn
Terminating Tableau Calculi for Hybrid Logics Extending K. Electron. Notes Theor. Comput. Sci. 231 (2009)
Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn
Experiments in Theorem Proving for Topological Hybrid Logic. Electron. Notes Theor. Comput. Sci. 231 (2009)
Patrick Blackburn, Sébastien Hinderer
Generating models for temporal representations CoRR (2007)
Thomas Bolander, Patrick Blackburn
Termination for Hybrid Tableaus. J. Log. Comput. 17 (3) (2007)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
Preface. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Patrick Blackburn
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. Comput. Linguistics 33 (2) (2007)
Patrick Blackburn, Balder ten Cate
Pure Extensions, Proof Rules, and Hybrid Axiomatics. Stud Logica 84 (2) (2006)
Patrick Blackburn
The Language of Time: A Reader. Comput. Linguistics 32 (3) (2006)
Patrick Blackburn
Arthur Prior and Hybrid Logic. Synth. 150 (3) (2006)
Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke
PDL for Ordered Trees. J. Appl. Non Class. Logics 15 (2) (2005)
Carlos Areces, Patrick Blackburn
Reichenbach, Prior and Montague: A Semantic Get-together. We Will Show Them! (1) (2005)
Patrick Blackburn, Michael Kohlhase
Inference and Computational Semantics. J. Log. Lang. Inf. 13 (2) (2004)
Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx
Handling Boolean A Boxes. Description Logics (2003)
Carlos Areces, Patrick Blackburn, Maarten Marx
Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Log. 124 (1-3) (2003)
Patrick Blackburn, Maarten Marx
Constructive interpolation in hybrid logic. J. Symb. Log. 68 (2) (2003)
Patrick Blackburn
Editorial. J. Log. Lang. Inf. 11 (1) (2002)
Patrick Blackburn, Maarten Marx
Remarks on Gregory's "Actually" Operator. J. Philos. Log. 31 (3) (2002)
Patrick Blackburn
Hybrid Logic and Description Logic. Description Logics (2002)
Patrick Blackburn, Maarten Marx
Tableaux for Quantified Hybrid Logic. TABLEAUX (2002)
Carlos Areces, Patrick Blackburn, Maarten Marx
Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. 66 (3) (2001)
Carlos Areces, Patrick Blackburn
Bringing them all Together. J. Log. Comput. 11 (5) (2001)
Patrick Blackburn
Modal Logic As Dialogical Logic. Synth. 127 (1-2) (2001)
Patrick Blackburn, Jaap Kamps, Maarten Marx
Situation Calculus as Hybrid Logic: First Steps. EPIA (2001)
Patrick Blackburn, Maarten Marx
Third International Workshop on Hybrid Logic (HyLo'01). Log. J. IGPL 9 (5) (2001)
Patrick Blackburn, Valentin Goranko
Hybrid Ockhamist Temporal Logic. TIME (2001)
Varol Akman, Patrick Blackburn
Editorial: Alan Turing and Artificial Intelligence. J. Log. Lang. Inf. 9 (4) (2000)
Patrick Blackburn
Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Log. J. IGPL 8 (3) (2000)
Carlos Areces, Patrick Blackburn, Maarten Marx
The Computational Complexity of Hybrid Temporal Logics. Log. J. IGPL 8 (5) (2000)
Patrick Blackburn
Internalizing labelled deduction. J. Log. Comput. 10 (1) (2000)
Patrick Blackburn
Basic Model Theory, Kees Doets. J. Log. Lang. Inf. 8 (2) (1999)
Carlos Areces, Patrick Blackburn, Maarten Marx
A Road-Map on Complexity for Hybrid Logics. CSL (1999)
Patrick Blackburn, Miroslava Tzakova
Hybrid Languages and Temporal Logic. Log. J. IGPL 7 (1) (1999)
Patrick Blackburn, Miroslava Tzakova
Hybrid Completeness. Log. J. IGPL 6 (4) (1998)
Patrick Blackburn, Miroslava Tzakova
Hybridizing Concept Languages. Ann. Math. Artif. Intell. 24 (1-4) (1998)
Patrick Blackburn, Maarten de Rijke
Why Combine Logics? Stud Logica 59 (1) (1997)
Patrick Blackburn, Maarten de Rijke
Zooming In, Zooming Out. J. Log. Lang. Inf. 6 (1) (1997)
Patrick Blackburn, Maarten de Rijke
Special Issue on Combining Logics - Editor's Introduction. Notre Dame J. Formal Log. 37 (2) (1996)
Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Éric Villemonte de la Clergerie
Logical Aspects of Computational Linguistics: An Introduction. LACL (1996)
Patrick Blackburn, Jerry Seligman
What Are Hybrid Languages? Advances in Modal Logic (1996)
Patrick Blackburn, Jerry Seligman
Hybrid Languages. J. Log. Lang. Inf. 4 (3) (1995)
Patrick Blackburn
Introduction: Static and Dynamic Aspects of Syntactic Structure. J. Log. Lang. Inf. 4 (1) (1995)
Patrick Blackburn, Claire Gardent
A specification language for Lexical Functional Grammars CoRR (1995)
Patrick Blackburn, Yde Venema
Dynamic squares. J. Philos. Log. 24 (5) (1995)
Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke
A Proof System for Finite Trees. CSL (1995)
Patrick Blackburn, Claire Gardent
A Specification Language for Lexical Functional Grammars. EACL (1995)
Patrick Blackburn, Claire Gardent, Maarten de Rijke
Back and Forth Through Time and Events. ICTL (1994)
Patrick Blackburn
Tense, Temporal Reference, and Tense Logic. J. Semant. 11 (1-2) (1994)
Patrick Blackburn, Wilfried Meyer-Viol
Linguistics, Logic and Finite Trees. Log. J. IGPL 2 (1) (1994)
Patrick Blackburn, Edith Spaan
A modal perspective on the computational complexity of attribute value grammar. J. Log. Lang. Inf. 2 (2) (1993)
Patrick Blackburn
Nominal Tense Logic. Notre Dame J. Formal Log. 34 (1) (1993)
Patrick Blackburn, Claire Gardent, Wilfried Meyer-Viol
Talking About Trees. EACL (1993)
Steven Bird, Patrick Blackburn
A Logical Approach To Arabic Phonology. EACL (1991)

Patrick Blackburn.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Blackburn