Publikationer pr. år
Publikationer pr. år
Publikationsnetværk
Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på prikkerne.
Publikation
-
A Note on Hybrid Modal Logic with Propositional Quantiers
Blackburn, P. R., Braüner, T. & Kofod, J. L., 2021, Proceedings of 9th Indian Conference on Logic and its Applications.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study
Braüner, T., Ghosh, A. & Ghosh, S., 2021, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers . Cleophas, L. & Massink, M. (red.). Springer, s. 118-128 10 s. (Lecture Notes in Computer Science; Nr. 12524).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Braüner, T., 2020, (Accepteret/In press) I: Bulletin of the Section of Logic.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks
Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2020, I: Topics in Cognitive Science. 12, 2, s. 504-534Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization
Braüner, T., 2020, I: Logic and Logical Philosophy. 29, 3, s. 415-445Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil
Projekter
- 3 Afsluttet
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T., Blackburn, P. R. & Polyanskaya, I.
01/01/2014 → 30/04/2019
Projekter: Projekt › 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: Projekt › 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: Projekt › Forskning
Aktiviteter
-
Invited talk: Logic and cognition
Torben Braüner (Oplægsholder)
14 jan. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Remarks on hybrid modal logic with propositional quantiers
Torben Braüner (Oplægsholder)
5 mar. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
9th Indian Conference on Logic and its Applications
Torben Braüner (Deltager)
6 mar. 2021Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
International Conference on Thinking
Torben Braüner (Deltager)
21 jun. 2021 → 25 jun. 2021Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Logic and Cognition Pre-Conference Workshop
Torben Braüner (Arrangør) & Sujata Ghosh (Arrangør)
2 mar. 2019Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Presse/medier
-
Tværfaglig ph.d. hjælper autistiske børn via sproglig træning
Irina Polyanskaya, Torben Braüner & Patrick Rowan Blackburn
21/03/2019
1 element af Mediedækning
Presse/medie
-
Lektor får støtte fra Velux Fonden til autisme-forskning
29/11/2013
1 element af Mediedækning
Presse/medie
-