No photo of Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Denmark

19992019

Research output per year

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

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

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, In : Topics in Cognitive Science.

Research output: Contribution to journalJournal articleResearchpeer-review

Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

Braüner, T., 2019, (Accepted/In press) In : Logic and Logical Philosophy.

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, (Accepted/In press) Discourse coherence: From psychology to linguistics and back again. Amblard, M., Musiol, M. & Rebuschi, M. (eds.). Springer VS, (Language, Cognition, and Mind).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Some remarks on Hybrid Modal Logic with Propositional Quantfiers

Blackburn, P. R., Braüner, T. & Kofod, J. L., 2019, (Accepted/In press) The Metaphysics of Time. Aalborg Universitetsforlag, (Logic and Philosophy of Time - Themes from Prior, Vol. 3).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Udviser sociale chatbots empati?

Lynge, J., Andersen, K. G. & Braüner, T., 2019, In : Aktuel Naturvidenskab. 2019, 5, p. 35-37

Research output: Contribution to journalJournal articleCommunication

Open Access
File

Projects

Hybrid-Logical Proofs at Work in Cognitive Psychology

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

VELUX FONDEN

01/01/201430/04/2019

Project: Research

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

Logic and Cognition Pre-Conference Workshop

Torben Braüner (Organizer), Sujata Ghosh (Organizer)
2 Mar 2019

Activity: Participating in or organising an eventOrganisation and participation in conference

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Speaker)
27 Nov 2019

Activity: Talk or presentationLecture and oral contribution

The 12th International Symposium on Frontiers of Combining Systems (Event)

Torben Braüner (Member)
4 Sep 20196 Sep 2019

Activity: MembershipMembership in committee, council, board

Logical proofs: From mathematics to psychology

Torben Braüner (Speaker)
30 Oct 2019

Activity: Talk or presentationLecture and oral contribution

Eighth Indian Conference on Logic and its Applications 2019 (Event)

Torben Braüner (Member)
1 Mar 20195 Mar 2019

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