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.

Publication 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

Formal semantics for the Sally-Anne tasks

Braüner, T. & Blackburn, P. R., 2018, (Accepted/In press)

Research output: Contribution to conferencePaperResearchpeer-review

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

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2018, .... Springer Nature, (Language, Cognition, and Mind).

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

Many-Valued Hybrid Logic

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

Research output: Contribution to journalJournal articleResearchpeer-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: MembershipMembership in committee, council, board

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

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

Activity: MembershipMembership 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: Talk or presentationLecture and oral contribution

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

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

Activity: MembershipMembership in committee, council, board

Invited lecture: Deception and Second-Order Theory of Mind

Braüner, T. (Speaker)
9 Jan 201713 Jan 2017

Activity: Talk or presentationLecture and oral contribution

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