Patrick Rowan Blackburn

  • 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
Paper
2020

Formalizing a Seligman-Style Tableau System for Hybrid Logic

Halkjær From, A., Blackburn, P. R. & Villadsen, J., 2020, (Accepted/In press).

Research output: Contribution to conferencePaperResearchpeer-review

2018

Formal semantics for the Sally-Anne tasks

Braüner, T. & Blackburn, P. R., 2018, p. 16-27.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
2015

Second-order false-beliefs, language and logic

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2015.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
2011

Classical planning and causal implicatures

Blackburn, P. R. & Benotti, L., 2011. 14 p.

Research output: Contribution to conferencePaperResearchpeer-review