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
-
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Braüner, T., jun. 2022, I: Bulletin of the Section of Logic. 51, 2, s. 143-162 20 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Hybrid Logic
Braüner, T., 2022, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (red.). Spring 2022 Edition udg. Stanford UniversityPublikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › 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., sep. 2022, I: Journal of Autism and Developmental Disorders. 52, 9, s. 3991-4006 16 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
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, Non-Classical Modal and Predicate Logic: Book of abstracts. Bochum: Ruhr University Bochum, s. 29-32Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › 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
-
Case study: Logical and mathematical understanding in comparison to other academic competences
Torben Braüner (Oplægsholder)
10 apr. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Understanding responses of people with ASD in diverse reasoning tasks: A formal study
Torben Braüner (Oplægsholder)
17 feb. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Workshop on Hybrid Logic and Applications
Torben Braüner (Arrangør) & Patrick Rowan Blackburn (Arrangør)
6 apr. 2022Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Invited talk: Case study: Logical and mathematical understanding in comparison to other academic competences
Torben Braüner (Oplægsholder)
11 jan. 2022Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
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
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
-