Patrick Blackburn
Roskilde Universitet
H-index: 36
Europe-Denmark
Top articles of Patrick Blackburn
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The Past, Present and Future of the Prior Internet Resources | Fatima Sabir Patrick Rowan Blackburn Julie Lundbak Kofod | 2023/10/23 | |
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers | Patrick Blackburn Torben Braüner Julie Lundbak Kofod | 2023/7/11 | |
Hybrid Partial Type Theory | The Journal of Symbolic Logic | Maria Manzano Antonia Huertas Patrick Blackburn Manuel Martins Víctor Aranda | 2021 |
Second-order false beliefs and linguistic recursion in Autism Spectrum Disorder | Journal of Autism and Developmental Disorders | Irina Polyanskaya Inge-Marie Eigsti Torben Brauner Patrick Blackburn | 2022/9/1 |
Exorcising the phantom zone | Information and Computation | Patrick Blackburn Manuel Martins María Manzano Antonia Huertas | 2022/9/1 |
Logic and Interaction: Foreword to the Special Issue | Journal of Logic, Language and Information | Patrick Blackburn Emiliano Lorini | 2022/6 |
Teaching intuitionistic and classical propositional logic using Isabelle | arXiv preprint arXiv:2202.03567 | Jørgen Villadsen Asta Halkjær From Patrick Blackburn | 2022/2/8 |
Ethics consideration sections in natural language processing papers | Luciana Benotti Patrick Blackburn | 2022 | |
The impact of answers in referential visual dialog | Mauricio Mazuecos Patrick Blackburn Luciana Benotti | 2021/10 | |
Linguistic recursion and Danish discourse particles: Language in children with autism spectrum disorder | Patrick Blackburn Torben Braüner Irina Polyanskaya | 2021/6/13 | |
A recipe for annotating grounded clarifications | arXiv preprint arXiv:2104.08964 | Luciana Benotti Patrick Blackburn | 2021/4/18 |
Hybrid logic with propositional quantiers: Natural deduction style (Work in progress) | Torben Braüner Patrick Rowan Blackburn Julie Lundbak Kofod | 2021 | |
Grounding as a collaborative process | Luciana Benotti Patrick Rowan Blackburn | 2021 | |
Bulletin of the Section of Logic, vol. 49, no. 2 | Patrick Rowan Blackburn Srećko Kovač Kordula Świętorzecka | 2020/6/30 | |
Formal Methods and Science in Philosophy: Introduction to the Special Issue | Bulletin of the Section of Logic | Patrick Rowan Blackburn Srećko Kovač Kordula Świętorzecka | 2020/6/30 |
Formalizing a Seligman-Style Tableau System for Hybrid Logic: (Short Paper) | Asta Halkjær From Patrick Blackburn Jørgen Villadsen | 2020/6/24 | |
Being Deceived: Information Asymmetry in Second‐Order False Belief Tasks | Topics in Cognitive Science | Torben Braüner Patrick Blackburn Irina Polyanskaya | 2020/4 |
Remarks on hybrid modal logic with propositional quantfiers | Patrick Rowan Blackburn Torben Braüner Julie Lundbak Kofod | 2020 | |
Isabelle/HOL as a meta-language for teaching logic | arXiv preprint arXiv:2010.16014 | Asta Halkjær From Jørgen Villadsen Patrick Blackburn | 2020/10/30 |