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

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

Review of book: Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction, Wiley, 2015.

Braüner, T. 2018 (Accepted/In press) In : Studia Logica.

Research output: Contribution to journalLiterature reviewResearchpeer-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

Completeness and Termination for a Seligman-style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F. 2017 In : Journal of Logic and Computation. 27, 1, p. 81-107

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

Invited lecture: Deception and Second-Order Theory of Mind

Braüner, T. (Speaker)
9 Jan 201713 Jan 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