Intet foto af Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Danmark

19992020
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å punkterne.

Publikationer 1999 2020

Some remarks on Hybrid Modal Logic with Propositional Quantfiers

Blackburn, P. R., Braüner, T. & Kofod, J. L., 2020, 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

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

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, (Accepteret/In press) 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, Coherence and Incoherence, From Psychology to Linguistics and Back. Springer VS, (Language, Cognition, and Mind).

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 2005 2019

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 2002 2019

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

Invited talk: Hybrid logic and its Proof-Theory

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

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Logical proofs: From mathematics to psychology

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

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

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/medie

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

Torben Braüner

31/01/2011

1 element af Mediedækning

Presse/medie