Intet billede af Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Danmark

19992019

Research output per year

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationsnetværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på prikkerne.

Publikation

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, (Accepteret/In press) Discourse coherence: From psychology to linguistics and back again. Amblard, M., Musiol, M. & Rebuschi, M. (red.). Springer VS, (Language, Cognition, and Mind).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Some remarks on Hybrid Modal Logic with Propositional Quantfiers

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Udviser sociale chatbots empati?

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

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Åben adgang
Fil

Projekter

Hybrid-Logical Proofs at Work in Cognitive Psychology

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

VELUX FONDEN

01/01/201430/04/2019

Projekter: ProjektForskning

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

Projekter: ProjektForskning

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

Projekter: ProjektForskning

Aktiviteter

Logic and Cognition Pre-Conference Workshop

Torben Braüner (Arrangør), Sujata Ghosh (Arrangør)
2 mar. 2019

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Oplægsholder)
27 nov. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Medlem)
4 sep. 20196 sep. 2019

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Logical proofs: From mathematics to psychology

Torben Braüner (Oplægsholder)
30 okt. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Medlem)
1 mar. 20195 mar. 2019

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Presse/medier

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

Torben Braüner

31/01/2011

1 element af Mediedækning

Presse/medie