Publikationer pr. år
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/rapport › Konferencebidrag i proceedings › Forskning › peer 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 tidsskrift › Tidsskriftartikel › Forskning › peer review
Formal semantics for the Sally-Anne tasks
Braüner, T. & Blackburn, P. R., 2018, (Accepteret/In press)Publikation: Konferencebidrag › Paper › Forskning › peer 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/rapport › Konferencebidrag i proceedings › Forskning › peer review
Many-Valued Hybrid Logic
Hansen, J. U., Bolander, T. & Braüner, T., 2018, I : Journal of Logic and Computation. 28, 20, s. 883-908Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Projekter 2005 2018
- 3 Afsluttet
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T., Blackburn, P. R. & Polyanskaya, I.
01/01/2014 → 25/09/2018
Projekter: Forskning
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/2009 → 31/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/2005 → 31/12/2008
Projekter: Forskning
Aktiviteter 2002 2018
9th International Joint Conference on Automated Reasoning (Begivenhed)
Braüner, T. (Medlem)14 jul. 2018 → 17 jul. 2018
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
25th Workshop on Logic, Language, Information and Computation (Begivenhed)
Braüner, T. (Medlem)24 jul. 2018 → 27 jul. 2018
Aktivitet: Medlemsskab › Medlemskab 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 2017 → 12 maj 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited lecture: Deception and Second-Order Theory of Mind
Braüner, T. (Oplægsholder)9 jan. 2017 → 13 jan. 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Ninth Methods for Modality Workshop - 2017 (Begivenhed)
Braüner, T. (Medlem)8 jan. 2017 → 9 jan. 2017
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Presse/medie
Lektor får støtte fra Velux Fonden til autisme-forskning
29/11/2013
1 element af mediedækning
Presse/medie