default search action
Patrick Blackburn
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c36]Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod:
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. WoLLIC 2023: 118-134 - 2022
- [j43]Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas:
Exorcising the phantom zone. Inf. Comput. 287: 104754 (2022) - [j42]Patrick Blackburn, Emiliano Lorini:
Logic and Interaction: Foreword to the Special Issue. J. Log. Lang. Inf. 31(2): 137-139 (2022) - [c35]Luciana Benotti, Patrick Blackburn:
Ethics consideration sections in natural language processing papers. EMNLP 2022: 4509-4516 - 2021
- [c34]Luciana Benotti, Patrick Blackburn:
Grounding as a Collaborative Process. EACL 2021: 515-531 - [c33]Luciana Benotti, Patrick Blackburn:
A recipe for annotating grounded clarifications. NAACL-HLT 2021: 4065-4077 - [c32]Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn:
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. ThEdu@CADE 2021: 71-85 - [i3]Luciana Benotti, Patrick Blackburn:
A recipe for annotating grounded clarifications. CoRR abs/2104.08964 (2021) - 2020
- [j41]Torben Braüner, Patrick Blackburn, Irina Polyanskaya:
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks. Top. Cogn. Sci. 12(2): 504-534 (2020) - [c31]Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen:
Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). IJCAR (1) 2020: 474-481 - [c30]Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn:
Isabelle/HOL as a Meta-Language for Teaching Logic. ThEdu@IJCAR 2020: 18-34
2010 – 2019
- 2019
- [c29]Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas:
Rigid First-Order Hybrid Logic. WoLLIC 2019: 53-69 - [e6]Patrick Blackburn, Emiliano Lorini, Meiyun Guo:
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings. Lecture Notes in Computer Science 11813, Springer 2019, ISBN 978-3-662-60291-1 [contents] - 2018
- [c28]Torben Braüner, Irina Polyanskaya, Patrick Blackburn:
A logical investigation of false-belief tasks. CogSci 2018 - 2017
- [j40]Luciana Benotti, Patrick Blackburn:
Modeling the clarification potential of instructions: Predicting clarification requests and other reactions. Comput. Speech Lang. 45: 536-551 (2017) - [j39]Patrick Blackburn:
The New Trivium. FLAP 4(1) (2017) - [j38]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): 81-107 (2017) - 2016
- [j37]Patrick Blackburn, Klaus Frovin Jørgensen:
Arthur Prior and 'Now'. Synth. 193(11): 3665-3676 (2016) - [j36]Patrick Blackburn, Klaus Frovin Jørgensen:
Reichenbach, Prior and hybrid tense logic. Synth. 193(11): 3677-3689 (2016) - [c27]Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner:
Synthetic completeness proofs for Seligman-style tableau systems. Advances in Modal Logic 2016: 302-321 - [c26]Torben Braüner, Patrick Blackburn, Irina Polyanskaya:
Recursive belief manipulation and second-order false-beliefs. CogSci 2016 - [c25]Irina Polyanskaya, Torben Braüner, Patrick Blackburn:
Linguistic recursion and Autism Spectrum Disorder. CogSci 2016 - [c24]Luciana Benotti, Patrick Blackburn:
Polite Interactions with Robots. Robophilosophy/TRANSOR 2016: 293-302 - [c23]Torben Braüner, Patrick Blackburn, Irina Polyanskaya:
Second-Order False-Belief Tasks: Analysis and Formalization. WoLLIC 2016: 125-144 - 2014
- [j35]Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano:
Completeness in Hybrid Type Theory. J. Philos. Log. 43(2-3): 209-238 (2014) - [p3]Luciana Benotti, Patrick Blackburn:
Context and Implicature. Context in Computing 2014: 419-436 - 2013
- [c22]Patrick Blackburn, Klaus Frovin Jørgensen:
Contextual Validity in Hybrid Logic. CONTEXT 2013: 185-198 - [c21]Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen:
A Seligman-Style Tableau System. LPAR 2013: 147-163 - [e5]Patrick Brézillon, Patrick Blackburn, Richard Dapoigny:
Modeling and Using Context - 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings. Lecture Notes in Computer Science 8175, Springer 2013, ISBN 978-3-642-40971-4 [contents] - 2012
- [c20]Patrick Blackburn, Klaus Frovin Jørgensen:
Indexical Hybrid Tense Logic. Advances in Modal Logic 2012: 144-160 - 2011
- [c19]Luciana Benotti, Patrick Blackburn:
Classical Planning and Causal Implicatures. CONTEXT 2011: 26-39 - [e4]Patrick Blackburn, Hans van Ditmarsch, María Manzano, Fernando Soler-Toscano:
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 [contents] - 2010
- [j34]Carlos Areces, Patrick Blackburn:
Special Issue on Hybrid Logics. J. Appl. Log. 8(4): 303-304 (2010) - [c18]Luciana Benotti, Patrick Blackburn:
Negotiating causal implicatures. SIGDIAL Conference 2010: 67-70
2000 – 2009
- 2007
- [j33]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. Comput. Linguistics 33(2): 263-265 (2007) - [j32]Thomas Bolander, Patrick Blackburn:
Termination for Hybrid Tableaus. J. Log. Comput. 17(3): 517-554 (2007) - [c17]Thomas Bolander, Patrick Blackburn:
Terminating Tableau Calculi for Hybrid Logics Extending K. M4M 2007: 21-39 - [c16]Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn:
Experiments in Theorem Proving for Topological Hybrid Logic. M4M 2007: 309-321 - [p2]Patrick Blackburn, Johan van Benthem:
Modal logic: a semantic perspective. Handbook of Modal Logic 2007: 1-84 - [e3]Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter:
Handbook of Modal Logic. Studies in logic and practical reasoning 3, North-Holland 2007, ISBN 978-0-444-51690-9 [contents] - [e2]Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(6), Elsevier 2007 [contents] - [i2]Patrick Blackburn, Sébastien Hinderer:
Generating models for temporal representations. CoRR abs/0710.2852 (2007) - 2006
- [j31]Patrick Blackburn:
The Language of Time: A Reader. Comput. Linguistics 32(3): 445-446 (2006) - [j30]Patrick Blackburn, Balder ten Cate:
Pure Extensions, Proof Rules, and Hybrid Axiomatics. Stud Logica 84(2): 277-322 (2006) - [j29]Patrick Blackburn:
Arthur Prior and Hybrid Logic. Synth. 150(3): 329-372 (2006) - [c15]Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Preface. HyLo@FLoC 2006: 1-2 - 2005
- [b3]Patrick Blackburn, Johan Bos:
Representation and Inference for Natural Language - a First Course in Computational Semantics. CSLI Studies in Computational Linguistics, CSLI Publications 2005, ISBN 978-1-57586-496-9, pp. I-XXV, 1-350 - [j28]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): 115-135 (2005) - [c14]Carlos Areces, Patrick Blackburn:
Reichenbach, Prior and Montague: A Semantic Get-together. We Will Show Them! (1) 2005: 77-88 - 2004
- [j27]Patrick Blackburn, Michael Kohlhase:
Inference and Computational Semantics. J. Log. Lang. Inf. 13(2): 117-120 (2004) - 2003
- [j26]Carlos Areces, Patrick Blackburn, Maarten Marx:
Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Log. 124(1-3): 287-299 (2003) - [j25]Patrick Blackburn, Maarten Marx:
Constructive interpolation in hybrid logic. J. Symb. Log. 68(2): 463-480 (2003) - [c13]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:
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 [contents] - 2002
- [j24]Patrick Blackburn:
Editorial. J. Log. Lang. Inf. 11(1): 1 (2002) - [j23]Patrick Blackburn, Maarten Marx:
Remarks on Gregory's "Actually" Operator. J. Philos. Log. 31(3): 281-288 (2002) - [c12]Patrick Blackburn:
Hybrid Logic and Description Logic. Description Logics 2002 - [c11]Patrick Blackburn, Maarten Marx:
Tableaux for Quantified Hybrid Logic. TABLEAUX 2002: 38-52 - 2001
- [b2]Patrick Blackburn, Maarten de Rijke, Yde Venema:
Modal Logic. Cambridge Tracts in Theoretical Computer Science 53, Cambridge University Press 2001, ISBN 978-1-10705088-4, pp. 1-554 - [j22]Patrick Blackburn, Maarten Marx:
Third International Workshop on Hybrid Logic (HyLo'01). Log. J. IGPL 9(5): 735-737 (2001) - [j21]Carlos Areces, Patrick Blackburn, Maarten Marx:
Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. 66(3): 977-1010 (2001) - [j20]Carlos Areces, Patrick Blackburn:
Bringing them all Together. J. Log. Comput. 11(5): 657-669 (2001) - [j19]Patrick Blackburn:
Modal Logic As Dialogical Logic. Synth. 127(1-2): 57-93 (2001) - [c10]Patrick Blackburn, Jaap Kamps, Maarten Marx:
Situation Calculus as Hybrid Logic: First Steps. EPIA 2001: 253-260 - [c9]Patrick Blackburn, Valentin Goranko:
Hybrid Ockhamist Temporal Logic. TIME 2001: 183-188 - 2000
- [j18]Patrick Blackburn:
Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Log. J. IGPL 8(3): 339-365 (2000) - [j17]Carlos Areces, Patrick Blackburn, Maarten Marx:
The Computational Complexity of Hybrid Temporal Logics. Log. J. IGPL 8(5): 653-679 (2000) - [j16]Varol Akman, Patrick Blackburn:
Editorial: Alan Turing and Artificial Intelligence. J. Log. Lang. Inf. 9(4): 391-395 (2000) - [j15]Patrick Blackburn:
Internalizing labelled deduction. J. Log. Comput. 10(1): 137-168 (2000)
1990 – 1999
- 1999
- [j14]Patrick Blackburn, Miroslava Tzakova:
Hybrid Languages and Temporal Logic. Log. J. IGPL 7(1): 27-54 (1999) - [j13]Patrick Blackburn:
Basic Model Theory, Kees Doets. J. Log. Lang. Inf. 8(2): 258-261 (1999) - [c8]Carlos Areces, Patrick Blackburn, Maarten Marx:
A Road-Map on Complexity for Hybrid Logics. CSL 1999: 307-321 - 1998
- [j12]Patrick Blackburn, Miroslava Tzakova:
Hybridizing Concept Languages. Ann. Math. Artif. Intell. 24(1-4): 23-49 (1998) - [j11]Patrick Blackburn, Miroslava Tzakova:
Hybrid Completeness. Log. J. IGPL 6(4): 625-650 (1998) - 1997
- [j10]Patrick Blackburn, Maarten de Rijke:
Zooming In, Zooming Out. J. Log. Lang. Inf. 6(1): 5-31 (1997) - [j9]Patrick Blackburn, Maarten de Rijke:
Why Combine Logics? Stud Logica 59(1): 5-27 (1997) - [p1]Patrick Blackburn, Maarten de Rijke, Yde Venema:
Logic, Language, and Information. Relational Methods in Computer Science 1997: 211-225 - 1996
- [j8]Patrick Blackburn, Maarten de Rijke:
Special Issue on Combining Logics - Editor's Introduction. Notre Dame J. Formal Log. 37(2): 161-166 (1996) - [c7]Patrick Blackburn, Jerry Seligman:
What Are Hybrid Languages? Advances in Modal Logic 1996: 41-62 - [c6]Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Éric Villemonte de la Clergerie:
Logical Aspects of Computational Linguistics: An Introduction. LACL 1996: 1-20 - 1995
- [j7]Patrick Blackburn:
Introduction: Static and Dynamic Aspects of Syntactic Structure. J. Log. Lang. Inf. 4(1): 1-4 (1995) - [j6]Patrick Blackburn, Jerry Seligman:
Hybrid Languages. J. Log. Lang. Inf. 4(3): 251-272 (1995) - [j5]Patrick Blackburn, Yde Venema:
Dynamic squares. J. Philos. Log. 24(5): 469-523 (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
- [j4]Patrick Blackburn, Wilfried Meyer-Viol:
Linguistics, Logic and Finite Trees. Log. J. IGPL 2(1): 3-29 (1994) - [j3]Patrick Blackburn:
Tense, Temporal Reference, and Tense Logic. J. Semant. 11(1-2): 83-101 (1994) - [c3]Patrick Blackburn, Claire Gardent, Maarten de Rijke:
Back and Forth Through Time and Events. ICTL 1994: 225-237 - 1993
- [j2]Patrick Blackburn, Edith Spaan:
A modal perspective on the computational complexity of attribute value grammar. J. Log. Lang. Inf. 2(2): 129-169 (1993) - [j1]Patrick Blackburn:
Nominal Tense Logic. Notre Dame J. Formal Log. 34(1): 56-83 (1993) - [c2]Patrick Blackburn, Claire Gardent, Wilfried Meyer-Viol:
Talking About Trees. EACL 1993: 21-29 - 1991
- [c1]Steven Bird, Patrick Blackburn:
A Logical Approach To Arabic Phonology. EACL 1991: 89-94 - 1990
- [b1]Patrick Blackburn:
Nominal tense logic and other sorted intensional frameworks. University of Edinburgh, UK, 1990
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint