Samarbejder og forskningsfelter
Publikation
-
A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication
Kofod, J. L., Blackburn, P. R. & Braüner, T., 2026, (Accepteret/In press) I: Logic Journal of the IGPL.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
A complete tableau system for basic hybrid logic with propositional quantification
Lundbak Kofod, J., Blackburn, P. & Brauner, T., jun. 2026, I: Logic Journal of the IGPL. 34, 3, 22 s., jzag022.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
A Tableau System for First-Order Logic with Standard Names
Claßen, J. & Braüner, T., 2026, Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings. Pozzato, G. L. & Uustalu, T. (red.). Springer, LNCS, Bind 15980. s. 22-38 17 s. (Lecture notes in artificial intelligence). (Lecture Notes in Computer Science, Bind 15980).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil20 Downloads (Pure) -
This Time As Grandfather
Blackburn, P. R., Braüner, T. & Kofod, J. L., 2026, Exploring Negation, Modality and Proof: 6th Asian Workshop on Philosophical Logic. Sano, K., Hatano, R. & Ono, H. (red.). Springer, s. 147-172 26 s. (A Springer book series Logic In Asia: Studia Logica Library).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Analytic Proof-Theory for Prior's System Q: First Steps
Braüner, T., 2025, 70 years of tense-logic: Logic and Philosophy of Time. Jakobsen, D., Øhrstrøm, P., Grimshaw, M., Rybarikova, Z. & Sabir, F. (red.). Aalborg: Aalborg Universitetsforlag, 12 s. (Logic and Philosophy of Time; Nr. 1, Bind 6).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil30 Downloads (Pure)
Projekter
- 3 Afsluttet
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T. (Projektdeltager), Blackburn, P. R. (Projektdeltager) & Polyanskaya, I. (Projektdeltager)
01/01/2014 → 30/04/2019
Projekter: Projekt › Forskning
-
HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods
Braüner, T. (Projektdeltager), Bolander, T. (Projektdeltager), Goranko, V. (Projektdeltager), Blackburn, P. (Projektdeltager) & Areces, C. (Projektdeltager)
Danmarks Frie Forskningsfond | Natur og Univers
01/01/2009 → 31/12/2013
Projekter: Projekt › Forskning
-
HyLoMOL: Hybrid Logic Meets Other Logics
Braüner, T. (Anden), Bolander, T. (Projektdeltager), Villadsen, J. (Projektdeltager), Blackburn, P. (Projektdeltager) & de Paiva, V. (Projektdeltager)
Danmarks Frie Forskningsfond | Natur og Univers
01/01/2005 → 31/12/2008
Projekter: Projekt › Forskning
Aktiviteter
-
Non-Classical Logics. Theory and Applications (Begivenhed)
Braüner, T. (Medlem)
26 okt. 2026 → 28 okt. 2026Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Advances in Modal Logic 2026 (Begivenhed)
Braüner, T. (Medlem)
29 jun. 2026 → 3 jul. 2026Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
8th Asian Workshop on Philosophical Logic (Begivenhed)
Braüner, T. (Medlem)
6 apr. 2026 → 8 apr. 2026Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Invited talk: Travelling with Hybrid Logic: From the Philosophy of Time to Technical Proof-Theory
Braüner, T. (Oplægsholder)
28 okt. 2025 → 29 okt. 2025Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
11th Workshop on Formal and Cognitive Reasoning (Begivenhed)
Braüner, T. (Medlem)
17 aug. 2025Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Presse/medier
-
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 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
-