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
-
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers
Blackburn, P., Braüner, T. & Kofod, J. L., 2023, Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings. Hansen, H. H., Scedrov, A. & de Queiroz, R. J. G. B. (eds.). Springer, p. 118-134 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13923 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
The True Futures
Braüner, T., 2023, (Accepted/In press) In: Synthese.Research output: Contribution to journal › Journal article › Research › peer-review
-
The True Futures: A Couple of Case Studies
Braüner, T., 2023, (Accepted/In press) Prior’s Paradigm for the Study of Time. Aalborg Universitetsforlag, (Logic and Philosophy of Time, Vol. 5).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
-
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Braüner, T., Jun 2022, In: Bulletin of the Section of Logic. 51, 2, p. 143-162 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile -
Hybrid Logic
Braüner, T., 2022, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (ed.). Spring 2022 Edition ed. Stanford UniversityResearch output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review
Projects
- 3 Finished
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T., Blackburn, P. R. & Polyanskaya, I.
01/01/2014 → 30/04/2019
Project: Research
-
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
Project: Research
-
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
Project: Research
Activities
-
26th European Conference on Artificial Intelligence ECAI 2023 (Event)
Torben Braüner (Member)
30 Sept 2023 → 5 Oct 2023Activity: Membership › Membership in committee, council, board
-
ESSLLI 2023 workshop on First-order Modal and Temporal Logics: State of the art and perspectives (Event)
Torben Braüner (Member)
7 Aug 2023 → 11 Aug 2023Activity: Membership › Membership in committee, council, board
-
Copenhagen Logic Gathering 2023
Torben Braüner (Organizer) & Thomas Bolander (Organizer)
17 Mar 2023Activity: Participating in or organising an event › Organisation and participation in conference
-
Ph.D. defence: Formally Correct Deduction Methods for Computational Logic (Asta Halkjær From) (Event)
Torben Braüner (Member)
21 Apr 2023Activity: Membership › Membership in review committee
-
Invited talk: Case study: Logical and mathematical understanding in comparison to other academic competences
Torben Braüner (Speaker)
11 Jan 2022Activity: Talk or presentation › Lecture and oral contribution
Press/Media
-
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 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