Intet foto af Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

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

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

Publikation 1999 2018

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R. 2018 (Accepteret/In press) Proceedings of the 40th Annual Meeting of the Cognitive Science Society, Madison, Wisconsin, USA.

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

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

Braüner, T., Blackburn, P. R. & Polyanskaya, I. 2018 (Accepteret/In press) I : Topics in Cognitive Science.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T. 2018 I : Journal of Logic and Computation.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Second-order false beliefs and recursive complements in children with Autism Spectrum Disorder

Polyanskaya, I., Braüner, T. & Blackburn, P. R. 2018 (Accepteret/In press) BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Massachusetts, USA: Cascadilla Press

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

Projekter 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

Projekter: Forskning

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

Aktiviteter 2002 2018

9th International Joint Conference on Automated Reasoning (Begivenhed)

Braüner, T. (Medlem)
14 jul. 201817 jul. 2018

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

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

Braüner, T. (Medlem)
24 jul. 201827 jul. 2018

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

Ninth Methods for Modality Workshop - 2017 (Begivenhed)

Braüner, T. (Medlem)
8 jan. 20179 jan. 2017

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

Invited lecture: Deception and Second-Order Theory of Mind

Braüner, T. (Oplægsholder)
9 jan. 201713 jan. 2017

Aktivitet: Foredrag og mundtlige bidrag

Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Braüner, T. (Oplægsholder)
8 maj 201712 maj 2017

Aktivitet: Foredrag og mundtlige bidrag

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