Research Output per year
Research Output per year
Personal profile
Keywords
- Philosophy, History of ideas, Religion. Theology
- Logic
- Metaphysics
- Philosophy of Time
- Arthur Prior
- Computer science, IT
- Computational Linguistics
- Computational Logic
- Language, Language usage, Philosophy of language
- Semantics
- Pragmatics
- Dialog
- Psychology
- Theory of Mind
- Autism
Publication network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
-
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks
Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2020, In: Topics in Cognitive Science. 12, 2, p. 504-534Research output: Contribution to journal › Journal article › Research › peer-review
-
Bulletin of the Section of Logic: Vol. 49 No. 2 (2020)
Blackburn, P. R., Kovač, S. (ed.) & Świętorzecka, K. (ed.), 30 Jun 2020, In: Bulletin of the Section of Logic. 49, 2Research output: Contribution to journal › Editorial › peer-review
-
Formalizing a Seligman-Style TableauSystem for Hybrid Logic (Short Paper)
Halkjær From, A., Blackburn, P. R. & Villadsen, J., 2020, Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, p. 474-481Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access -
Formal Methods and Science in Philosophy: Introduction to the Special Issue
Blackburn, P. R., Kovač, S. & Świętorzecka, K., 30 Jun 2020, In: Bulletin of the Section of Logic. 49, 2, p. 105-107Research output: Contribution to journal › Editorial › peer-review
Open AccessFile -
Isabelle/HOL as a Meta-Language for Teaching Logic
Halkjær From, A., Villadsen, J. & Blackburn, P., 2020, Proceedings 9th International Workshop on Theorem Proving Components for Educational Software (ThEdu'20). Waterloo: Open Publishing Association, p. 18-34 17 p. (Electronic Proceedings in Theoretical Computer Science; No. 328).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
Projects
-
-
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T., Blackburn, P. R. & Polyanskaya, I.
01/01/2014 → 30/04/2019
Project: Research
Activities
-
Antje Rumberg
Patrick Rowan Blackburn (Host)
20 Jan 2020 → 26 Jan 2020Activity: Hosting a visitor › Hosting an academic visitor
-
Advances in Modal Logic 2020 (Event)
Patrick Rowan Blackburn (Editor)
2020Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Reasoning and Completeness in Hybrid Logic
Patrick Rowan Blackburn (Speaker)
25 Mar 2020Activity: Talk or presentation › Lecture and oral contribution
-
Ph.d.-defence of thesis: Viral Epistemology by Laura Haaber Ihle
Patrick Rowan Blackburn (Examiner)
14 Feb 2020Activity: Examination
-
What does logic have to do with philosophy?
Patrick Rowan Blackburn (Speaker)
14 Jan 2020Activity: Talk or presentation › Lecture and oral contribution
Press / Media
-
Tværfaglig ph.d. hjælper autistiske børn via sproglig træning
Irina Polyanskaya, Torben Braüner & Patrick Rowan Blackburn
21/03/2019
1 item of Media coverage
Press/Media: Press / Media
-
Tværfaglig ph.d. hjælper autistiske børn via sproglig træning
21/03/2019
1 item of Media coverage
Press/Media: Press / Media