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.

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

Publikationer 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: Bidrag til bog/antologi/rapportKonferencebidrag 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

Formal semantics for the Sally-Anne tasks

Braüner, T. & Blackburn, P. R., 2018, (Accepteret/In press)

Publikation: KonferencebidragPaperForskningpeer review

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

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2018, .... Springer Nature, (Language, Cognition, and Mind).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T., 2018, I : Journal of Logic and Computation. 28, 20, s. 883-908

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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: MedlemsskabMedlemskab 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: MedlemsskabMedlemskab af udvalg, råd og nævn

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

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

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited lecture: Deception and Second-Order Theory of Mind

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

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Ninth Methods for Modality Workshop - 2017 (Begivenhed)

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

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