Research output per year
Research output per year
Publication network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication
Kofod, J. L., Blackburn, P. R. & Braüner, T., 2024, (Accepted/In press) In: Logic Journal of the IGPL.Research output: Contribution to journal › Journal article › Research › peer-review
-
Analytic Proof-Theory for Prior's System Q: First Steps
Braüner, T., 2024, (Accepted/In press) Seventy years of tense-logic: Logic and Philosophy of Time. Aalborg Universitetsforlag, (Logic and Philosophy of Time; No. 1, Vol. 6).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
-
Logic and Psychology: A Couple of Case Studies
Braüner, T., 2024, FCR 2024 Formal and Cognitive Reasoning 2024: Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence. Özçep, Ö. L., Rußwinkel, N., Sauerwald, K. & Wolter, D. (eds.). CEUR-WS.org, p. 11-18 8 p. (CEUR Workshop Proceedings, Vol. 3763).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
Prior's Ideal Language
Blackburn, P. R., Braüner, T. & Kofod, J. L., 2024, (Accepted/In press) In: Mathematical Structures in Computer Science.Research output: Contribution to journal › Journal article › Research › peer-review
-
This Time As Grandfather
Blackburn, P. R., Braüner, T. & Kofod, J. L., 2024, (Accepted/In press) Exploring Negation, Modality and Proof. Springer Nature, (A Springer book series Logic In Asia: Studia Logica Library).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Projects
- 3 Finished
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T. (Project participant), Blackburn, P. R. (Project participant) & Polyanskaya, I. (Project participant)
01/01/2014 → 30/04/2019
Project: Research
-
HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods
Braüner, T. (Project participant), Bolander, T. (Project participant), Goranko, V. (Project participant), Blackburn, P. (Project participant) & Areces, C. (Project participant)
The Danish Natural Science Research Council
01/01/2009 → 31/12/2013
Project: Research
-
HyLoMOL: Hybrid Logic Meets Other Logics
Braüner, T. (Anden), Bolander, T. (Project participant), Villadsen, J. (Project participant), Blackburn, P. (Project participant) & de Paiva, V. (Project participant)
The Danish Natural Science Research Council
01/01/2005 → 31/12/2008
Project: Research
Activities
-
Foredrag: Er computere i stand til at tænke?
Braüner, T. (Speaker)
5 Nov 2024Activity: Talk or presentation › Lecture and oral contribution
-
27th European Conference on Artificial Intelligence ECAI 2024 (Event)
Braüner, T. (Member)
19 Oct 2024 → 24 Oct 2024Activity: Membership › Membership in committee, council, board
-
The Nordic Logic Summer School 2024 (Event)
Braüner, T. (Member)
10 Jun 2024 → 13 Jun 2024Activity: Membership › Membership in committee, council, board
-
Logic meeting at DTU
Braüner, T. (Speaker)
31 May 2024Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Logic, Theory of Mind, and Second-Order False Beliefs (online)
Braüner, T. (Speaker)
23 Mar 2024 → 24 Mar 2024Activity: Talk or presentation › Lecture and oral contribution
Press/Media
-
Tværfaglig ph.d. hjælper autistiske børn via sproglig træning
Polyanskaya, I., Braüner, T. & Blackburn, P. R.
21/03/2019
1 item of Media coverage
Press/Media: Press / Media
-
Lektor får støtte fra Velux Fonden til autisme-forskning
29/11/2013
1 item of Media coverage
Press/Media: Press / Media
-
RUC-lektor i datalogi sætter logikken på ny formel
31/01/2011
1 item of Media coverage
Press/Media: Press / Media