Publikationer pr. år
Publikationer pr. år
Publikationsnetværk
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
A Note on Hybrid Modal Logic with Propositional Quantiers (Work in Progress)
Blackburn, P. R., Braüner, T. & Kofod, J. L., 2021, ICLA 2021 Proceedings: 9th Indian Conference on Logic and its Applications, March 4-7, 2021. Ghosh, S. & Ramanujam, R. (red.). The Association for Logic in India, s. 34-39Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Hybrid logic with propositional quantiers: Natural deduction style (Work in progress)
Braüner, T., Blackburn, P. R. & Kofod, J. L., 2021, (Accepteret/In press).Publikation: Konferencebidrag › Paper › Forskning › peer review
-
Second-order false beliefs and linguistic recursion in autism spectrum disorder
Polyanskaya, I., Eigsti, I-M., Braüner, T. & Blackburn, P. R., 2021, I: Journal of Autism and Developmental Disorders. Latest ArticlesPublikation: Bidrag til tidsskrift › Tidsskriftartikel › 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 11 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 › peer review
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
-
9th Indian Conference on Logic and its Applications (Online)
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
-
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
-
The 12th International Symposium on Frontiers of Combining Systems (Begivenhed)
Torben Braüner (Medlem)
4 sep. 2019 → 6 sep. 2019Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
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
-