Nominal tense logic and other sorted intensional frameworks. - Patrick Blackburn (1990)

A Logical Approach To Arabic Phonology. - Steven Bird; Patrick Blackburn (EACL, 1991)

Talking About Trees. - Patrick Blackburn; Claire Gardent; Wilfried Meyer-Viol (EACL, 1993)

A modal perspective on the computational complexity of attribute value grammar. - Patrick Blackburn; Edith Spaan (J. Log. Lang. Inf., 1993)

Nominal Tense Logic. - Patrick Blackburn (Notre Dame J. Formal Log., 1993)

Back and Forth Through Time and Events. - Patrick Blackburn; Claire Gardent; Maarten de Rijke (ICTL, 1994)

Linguistics, Logic and Finite Trees. - Patrick Blackburn; Wilfried Meyer-Viol (Log. J. IGPL, 1994)

Tense, Temporal Reference, and Tense Logic. - Patrick Blackburn (J. Semant., 1994)

A Proof System for Finite Trees. - Patrick Blackburn; Wilfried Meyer-Viol; Maarten de Rijke (CSL, 1995)

A Specification Language for Lexical Functional Grammars. - Patrick Blackburn; Claire Gardent (EACL, 1995)

Introduction: Static and Dynamic Aspects of Syntactic Structure. - Patrick Blackburn (J. Log. Lang. Inf., 1995)

Hybrid Languages. - Patrick Blackburn; Jerry Seligman (J. Log. Lang. Inf., 1995)

Dynamic squares. - Patrick Blackburn; Yde Venema (J. Philos. Log., 1995)

What Are Hybrid Languages? - Patrick Blackburn; Jerry Seligman (Advances in Modal Logic, 1996)

Logical Aspects of Computational Linguistics: An Introduction. - Patrick Blackburn; Marc Dymetman; Alain Lecomte; Aarne Ranta; Christian Retoré; Éric Villemonte de la Clergerie (LACL, 1996)

Special Issue on Combining Logics - Editor's Introduction. - Patrick Blackburn; Maarten de Rijke (Notre Dame J. Formal Log., 1996)

Logic, Language, and Information. - Patrick Blackburn; Maarten de Rijke; Yde Venema (Relational Methods in Computer Science, 1997)

Zooming In, Zooming Out. - Patrick Blackburn; Maarten de Rijke (J. Log. Lang. Inf., 1997)

Why Combine Logics? - Patrick Blackburn; Maarten de Rijke (Stud Logica, 1997)

Hybridizing Concept Languages. - Patrick Blackburn; Miroslava Tzakova (Ann. Math. Artif. Intell., 1998)

Hybrid Completeness. - Patrick Blackburn; Miroslava Tzakova (Log. J. IGPL, 1998)

A Road-Map on Complexity for Hybrid Logics. - Carlos Areces; Patrick Blackburn; Maarten Marx (CSL, 1999)

Hybrid Languages and Temporal Logic. - Patrick Blackburn; Miroslava Tzakova (Log. J. IGPL, 1999)

Basic Model Theory, Kees Doets. - Patrick Blackburn (J. Log. Lang. Inf., 1999)

The Computational Complexity of Hybrid Temporal Logics. - Carlos Areces; Patrick Blackburn; Maarten Marx (Log. J. IGPL, 2000)

Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. - Patrick Blackburn (Log. J. IGPL, 2000)

Editorial: Alan Turing and Artificial Intelligence. - Varol Akman; Patrick Blackburn (J. Log. Lang. Inf., 2000)

Internalizing labelled deduction. - Patrick Blackburn (J. Log. Comput., 2000)

Modal Logic - Patrick Blackburn; Maarten de Rijke; Yde Venema (Cambridge University Press, 2001)

Situation Calculus as Hybrid Logic: First Steps. - Patrick Blackburn; Jaap Kamps; Maarten Marx (EPIA, 2001)

Hybrid Ockhamist Temporal Logic. - Patrick Blackburn; Valentin Goranko (TIME, 2001)

Third International Workshop on Hybrid Logic (HyLo'01). - Patrick Blackburn; Maarten Marx (Log. J. IGPL, 2001)

Hybrid Logics: Characterization, Interpolation and Complexity. - Carlos Areces; Patrick Blackburn; Maarten Marx (J. Symb. Log., 2001)

Bringing them all Together. - Carlos Areces; Patrick Blackburn (J. Log. Comput., 2001)

Modal Logic As Dialogical Logic. - Patrick Blackburn (Synth., 2001)

Hybrid Logic and Description Logic. - Patrick Blackburn (Description Logics, 2002)

Tableaux for Quantified Hybrid Logic. - Patrick Blackburn; Maarten Marx (TABLEAUX, 2002)

Editorial. - Patrick Blackburn (J. Log. Lang. Inf., 2002)

Remarks on Gregory's "Actually" Operator. - Patrick Blackburn; Maarten Marx (J. Philos. Log., 2002)

Handling Boolean A Boxes. - Carlos Areces; Patrick Blackburn; Bernadette Martínez Hernández; Maarten Marx (Description Logics, 2003)

Repairing the interpolation theorem in quantified modal logic. - Carlos Areces; Patrick Blackburn; Maarten Marx (Ann. Pure Appl. Log., 2003)

Constructive interpolation in hybrid logic. - Patrick Blackburn; Maarten Marx (J. Symb. Log., 2003)

Inference and Computational Semantics. - Patrick Blackburn; Michael Kohlhase (J. Log. Lang. Inf., 2004)

Representation and Inference for Natural Language - a First Course in Computational Semantics. - Patrick Blackburn; Johan Bos (CSLI Publications, 2005)

Reichenbach, Prior and Montague: A Semantic Get-together. - Carlos Areces; Patrick Blackburn (We Will Show Them! (1), 2005)

PDL for Ordered Trees. - Loredana Afanasiev; Patrick Blackburn; Ioanna Dimitriou; Bertrand Gaiffe; Evan Goris; Maarten Marx; Maarten de Rijke (J. Appl. Non Class. Logics, 2005)

The Language of Time: A Reader. - Patrick Blackburn (Comput. Linguistics, 2006)

Preface. - Patrick Blackburn; Thomas Bolander; Torben Braüner; Valeria de Paiva; Jørgen Villadsen (HyLo@FLoC, 2006)

Pure Extensions, Proof Rules, and Hybrid Axiomatics. - Patrick Blackburn; Balder ten Cate (Stud Logica, 2006)

Arthur Prior and Hybrid Logic. - Patrick Blackburn (Synth., 2006)

Modal logic: a semantic perspective. - Patrick Blackburn; Johan van Benthem (Handbook of Modal Logic, 2007)

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. - Patrick Blackburn (Comput. Linguistics, 2007)

Generating models for temporal representations - Patrick Blackburn; Sébastien Hinderer (CoRR, 2007)

Terminating Tableau Calculi for Hybrid Logics Extending K. - Thomas Bolander; Patrick Blackburn (M4M, 2007)

Experiments in Theorem Proving for Topological Hybrid Logic. - Dmitry Sustretov; Guillaume Hoffmann 001; Carlos Areces; Patrick Blackburn (M4M, 2007)

Termination for Hybrid Tableaus. - Thomas Bolander; Patrick Blackburn (J. Log. Comput., 2007)

Negotiating causal implicatures. - Luciana Benotti; Patrick Blackburn (SIGDIAL Conference, 2010)

Special Issue on Hybrid Logics. - Carlos Areces; Patrick Blackburn (J. Appl. Log., 2010)

Classical Planning and Causal Implicatures. - Luciana Benotti; Patrick Blackburn (CONTEXT, 2011)

Indexical Hybrid Tense Logic. - Patrick Blackburn; Klaus Frovin Jørgensen (Advances in Modal Logic, 2012)

Contextual Validity in Hybrid Logic. - Patrick Blackburn; Klaus Frovin Jørgensen (CONTEXT, 2013)

A Seligman-Style Tableau System. - Patrick Blackburn; Thomas Bolander; Torben Braüner; Klaus Frovin Jørgensen (LPAR, 2013)

Context and Implicature. - Luciana Benotti; Patrick Blackburn (Context in Computing, 2014)

Completeness in Hybrid Type Theory. - Carlos Areces; Patrick Blackburn; Antonia Huertas; María Manzano (J. Philos. Log., 2014)

Synthetic completeness proofs for Seligman-style tableau systems. - Klaus Frovin Jørgensen; Patrick Blackburn; Thomas Bolander; Torben Braüner (Advances in Modal Logic, 2016)

Recursive belief manipulation and second-order false-beliefs. - Torben Braüner; Patrick Blackburn; Irina Polyanskaya (CogSci, 2016)

Linguistic recursion and Autism Spectrum Disorder. - Irina Polyanskaya; Torben Braüner; Patrick Blackburn (CogSci, 2016)

Polite Interactions with Robots. - Luciana Benotti; Patrick Blackburn (Robophilosophy/TRANSOR, 2016)

Second-Order False-Belief Tasks: Analysis and Formalization. - Torben Braüner; Patrick Blackburn; Irina Polyanskaya (WoLLIC, 2016)

Arthur Prior and 'Now'. - Patrick Blackburn; Klaus Frovin Jørgensen (Synth., 2016)

Reichenbach, Prior and hybrid tense logic. - Patrick Blackburn; Klaus Frovin Jørgensen (Synth., 2016)

Modeling the clarification potential of instructions: Predicting clarification requests and other reactions. - Luciana Benotti; Patrick Blackburn (Comput. Speech Lang., 2017)

The New Trivium. - Patrick Blackburn (FLAP, 2017)

Completeness and termination for a Seligman-style tableau system. - Patrick Blackburn; Thomas Bolander; Torben Braüner; Klaus Frovin Jørgensen (J. Log. Comput., 2017)

A logical investigation of false-belief tasks. - Torben Braüner; Irina Polyanskaya; Patrick Blackburn (CogSci, 2018)

Rigid First-Order Hybrid Logic. - Patrick Blackburn; Manuel A. Martins 001; María Manzano; Antonia Huertas (WoLLIC, 2019)

Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). - Asta Halkjær From; Patrick Blackburn; Jørgen Villadsen (IJCAR (1), 2020)

Isabelle/HOL as a Meta-Language for Teaching Logic. - Asta Halkjær From; Jørgen Villadsen; Patrick Blackburn (ThEdu@IJCAR, 2020)

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks. - Torben Braüner; Patrick Blackburn; Irina Polyanskaya (Top. Cogn. Sci., 2020)

Grounding as a Collaborative Process. - Luciana Benotti; Patrick Blackburn (EACL, 2021)

A recipe for annotating grounded clarifications. - Luciana Benotti; Patrick Blackburn (NAACL-HLT, 2021)

Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. - Jørgen Villadsen; Asta Halkjær From; Patrick Blackburn (ThEdu@CADE, 2021)

Ethics consideration sections in natural language processing papers. - Luciana Benotti; Patrick Blackburn (EMNLP, 2022)

Exorcising the phantom zone. - Patrick Blackburn; Manuel A. Martins 001; María Manzano; Antonia Huertas (Inf. Comput., 2022)

Logic and Interaction: Foreword to the Special Issue. - Patrick Blackburn; Emiliano Lorini (J. Log. Lang. Inf., 2022)

An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. - Patrick Blackburn; Torben Braüner; Julie Lundbak Kofod (WoLLIC, 2023)

Hybrid Partial Type Theory. - María Manzano; Antonia Huertas; Patrick Blackburn; Manuel A. Martins 001; Víctor Aranda (J. Symb. Log., 2025)

Prior's ideal language. - Patrick Blackburn; Torben Braüner; Julie Lundbak Kofod (Math. Struct. Comput. Sci., 2025)