No photo of Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Publication network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1999 2019

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, (Accepted/In press) In : Topics in Cognitive Science.

Research output: Contribution to journalJournal articleResearchpeer-review

Linguistic Recursion and Danish Discourse Particles: Language in Children with Autism Spectrum Disorder

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, Coherence and Incoherence, From Psychology to Linguistics and Back. Springer Nature, (Language, Cognition, and Mind).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-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

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

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T., 2018, In : Journal of Logic and Computation. 28, 5, p. 883-908

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Projects 2005 2019

HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods

Braüner, T., Bolander, T., Goranko, V., Blackburn, P. & Areces, C.

The Danish Natural Science Research Council

01/01/200931/12/2013

Project: Research

HyLoMOL: Hybrid Logic Meets Other Logics

Braüner, T., Bolander, T., Villadsen, J., Blackburn, P. & de Paiva, V.

The Danish Natural Science Research Council

01/01/200531/12/2008

Project: Research

Activities 2002 2018

9th International Joint Conference on Automated Reasoning (Event)

Torben Braüner (Member)
14 Jul 201817 Jul 2018

Activity: MembershipMembership in committee, council, board

25th Workshop on Logic, Language, Information and Computation (Event)

Torben Braüner (Member)
24 Jul 201827 Jul 2018

Activity: MembershipMembership in committee, council, board

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Speaker)
9 Jan 201713 Jan 2017

Activity: Talk or presentationLecture and oral contribution

The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

Torben Braüner (Member)
25 Sep 201728 Sep 2017

Activity: MembershipMembership in committee, council, board

Ninth Methods for Modality Workshop - 2017 (Event)

Torben Braüner (Member)
8 Jan 20179 Jan 2017

Activity: MembershipMembership in committee, council, board

Press / Media

Lektor får støtte fra Velux Fonden til autisme-forskning

Torben Braüner

29/11/2013

1 item of media coverage

Press/Media: Press / Media

RUC-lektor i datalogi sætter logikken på ny formel

Torben Braüner

31/01/2011

1 item of media coverage

Press/Media: Press / Media