Publikationer pr. år
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/konferenceproces › 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
Many-Valued Hybrid Logic
Hansen, J. U., Bolander, T. & Braüner, T. 2018 I : Journal of Logic and Computation.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Review of book: Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction, Wiley, 2015.
Braüner, T. 2018 (Accepteret/In press) I : Studia Logica: An International Journal for Symbolic Logic.Publikation: Bidrag til tidsskrift › Anmeldelse › Forskning › peer 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 PressPublikation: Kapitel i bog/rapport/konferenceproces › Konferencebidrag i proceedings › Forskning › peer review
Projekter 2005 2018
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: 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: Medlemskab af udvalg, råd og nævn
Ninth Methods for Modality Workshop - 2017 (Begivenhed)
Braüner, T. (Medlem)8 jan. 2017 → 9 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. 2017 → 13 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 2017 → 12 maj 2017
Aktivitet: Foredrag og mundtlige bidrag
Presse/medie
Lektor får støtte fra Velux Fonden til autisme-forskning
29/11/2013
1 element af mediedækning
Presse/medie