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

    DK-4000 Roskilde

    Denmark

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

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

Research Output 1999 2018

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R. 2018 (Accepted/In press) Proceedings of the 40th Annual Meeting of the Cognitive Science Society, Madison, Wisconsin, USA.

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

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T. 2018 In : Journal of Logic and Computation.

Research output: Contribution to journalJournal articleResearchpeer-review

Second-order false beliefs and recursive complements in children with Autism Spectrum Disorder

Polyanskaya, I., Braüner, T. & Blackburn, P. R. 2018 (Accepted/In press) BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Massachusetts, USA: Cascadilla Press

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

Projects 2005 2018

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)

Braüner, T. (Member)
14 Jul 201817 Jul 2018

Activity: Membership in committee, council, board

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

Braüner, T. (Member)
24 Jul 201827 Jul 2018

Activity: Membership in committee, council, board

Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Braüner, T. (Speaker)
8 May 201712 May 2017

Activity: Lecture and oral contribution

Ninth Methods for Modality Workshop - 2017 (Event)

Braüner, T. (Member)
8 Jan 20179 Jan 2017

Activity: Membership in committee, council, board

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

Braüner, T. (Member)
25 Sep 201728 Sep 2017

Activity: Membership 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