Patrick Rowan Blackburn

Professor, Ph.D., Habilitation

  • Universitetsvej 1, 42.1

    DK-4000 Roskilde

    Denmark

20112020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article in proceedings

Synthetic Completeness Proofs for Seligman-style Tableau Systems

Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T., 2016, Proceedings of Advances in Modal Logic 2016. Beklemishev, L., Demri, S. & Máté, A. (eds.). College Publications, Vol. 11. p. 302-321

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Second-order false-belief tasks: Analysis and formalization

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Berlin: Springer, p. 125-144 (Lecture Notes in Computer Science, Vol. 9803).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Second-Order False Beliefs and Recursive Complements in Children with ASD

Polyanskaya, I., Braüner, T. & Blackburn, P. R., 2018, BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Bertolini, A. B. & Kaplan, M. J. (eds.). Massachusetts, USA: Cascadilla Press, Vol. 2. p. 632-643 12 p. (Boston University Conference on Language Development. Proceedings, Vol. 42).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Rigid First-Order Hybrid Logic

Blackburn, P. R., Martins, M., Manzano, M. & Huertas, A., 2 Jul 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Lemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Berlin: Springer, p. 53-69 17 p. (Lecture Notes in Computer Science, Vol. 11541).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Recursive belief manipulation and second-order false-beliefs

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, CogSci 2016 Proceedings: 38th Annual Meeting of the Cognitive Science Society - Recognizing and Representing Events. Papafragou, A., Grodner, D., Mirman, D. & Trueswell, J. (eds.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, p. 2579-2584

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Polite Interactions with Robots

Benotti, L. & Blackburn, P. R., 2016, What Social Robots Can and Should Do: Proceedings of Robophilosophy 2016 / TRANSOR 2016. Seibt, J., Nørskov, M. & Andersen, S. S. (eds.). Amsterdam: IOS Press, p. 293-302 10 p. (Frontiers in Artificial Intelligence and Applications, Vol. 290).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Interaction and the Marcan formula

Blackburn, P. R., 2019, Aventuras en el Mundo de la Lógica : Ensayos en Honor a María Manzano. Huertas, A. & Moldovan, A. (eds.). College Publications, p. 75-93 19 p. (Cuadernos de lógica, epistemología y lenguaje, Vol. 13).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Indexical Hybrid Tense Logic

Blackburn, P. R. & Jørgensen, K. F., 2012, Advances in Modal Logic. London, p. 144-160 16 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

Contextual Validity in Hybrid Logic

Blackburn, P. R. & Jørgensen, K. F., 2013, Modeling and using context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings. Brezillion, P. & Blackburn, P. (eds.). Springer Publishing Company, p. 185-198 14 p. (Lecture Notes in Computer Science, Vol. 8175).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Seligman-Style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2013, Logic for Programming, Artificial Intelligence, and Reasoning. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Heidelberg: Springer Publishing Company, p. 147-163 16 p. (Lecture Notes in Computer Science, Vol. 8312).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, Proceedings of the 40th Annual Conference of the Cognitive Science Society. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (eds.). Cognitive Science Society, p. 45-46

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File