Publikationer pr. år
Publikationer pr. år
Publikation
- 29 resultater
Søgeresultater
-
2025
Understanding responses of people with ASD in diverse reasoning tasks: A formal study
Braüner, T., Ghosh, A. & Ghosh, S., feb. 2025, I: Cognitive Processing. 26, 1, s. 201-218 18 s., 102432.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2024
A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication
Kofod, J. L., Blackburn, P. R. & Braüner, T., 2024, (Accepteret/In press) I: Logic Journal of the IGPL.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Prior's Ideal Language
Blackburn, P. R., Braüner, T. & Kofod, J. L., 2024, (Accepteret/In press) I: Mathematical Structures in Computer Science.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2023
The True Futures
Braüner, T., nov. 2023, I: Synthese. 202, 5, 162.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2022
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 -
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
-
2020
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks
Braüner, T., Blackburn, P. R. & Polyanskaya, I., 1 apr. 2020, I: Topics in Cognitive Science. 12, 2, s. 504-534 31 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization
Braüner, T., sep. 2020, I: Logic and Logical Philosophy. 29, 3, s. 415-445 31 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2019
Udviser sociale chatbots empati?
Lynge, J., Andersen, K. G. & Braüner, T., 2019, I: Aktuel Naturvidenskab. 2019, 5, s. 35-37Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
Åben adgangFil -
2018
Many-Valued Hybrid Logic
Hansen, J. U., Bolander, T. & Braüner, T., 20 jul. 2018, I: Journal of Logic and Computation. 28, 5, s. 883-908 26 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2017
Completeness and Termination for a Seligman-style Tableau System
Bidragets oversatte titel :Fuldstændighed og termination for et Seligman-style tableau system Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Theory of Mind, linguistic recursion and autism spectrum disorder
Polyanskaya, I., Blackburn, P. R. & Braüner, T., 2017, I: Beyond Philology. 14, 1, s. 69-95 26 s., 5.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
2014
First-Order Hybrid Logic: Introduction and Survey
Braüner, T., 2014, I: Logic Journal of the IGPL. 22, 1, s. 155-165Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks
Braüner, T., 2014, I: Journal of Logic, Language and Information. 23, 4, s. 415-439Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2011
Intuitionistic hybrid logic: Introduction and survey
Braüner, T., 2011, I: Information and Computation. 209, 2, s. 1437-1446Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2010
Hybrid-logik: fra filosofi til datalogi
Braüner, T., 2010, I: Aktuel Naturvidenskab. 2010, 2, s. 40-43Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
Åben adgangFil -
2008
Adding intensional machinery to hybrid logic
Braüner, T., 2008, I: Journal of Logic and Computation. 18, 4, s. 631-648 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2007
Why does the Proof-Theory of Hybrid Logic Work so Well?
Braüner, T., 2007, I: Journal of Applied Non-Classical Logics. 17, 4, s. 521-543 23 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2006
Axioms for classical, intuitionistic, and paraconsistent hybrid logic
Braüner, T., 2006, I: Journal of Logic, Language and Information. 15, 3, s. 179-194 16 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Intuitionistic Hybrid Logic
Braüner, T. & de Paiva, V., 2006, I: Journal of Applied Logic. 4, 3, s. 231-255 25 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Logikkens muligheder og grænser
Braüner, T., 2006, I: Aktuel Naturvidenskab. 2006, 6, s. 32-34 3 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
Åben adgangFil -
Tableau-Based Decision Procedures for Hybrid Logic
Braüner, T. & Bolander, T., 2006, I: Journal of Logic and Computation. 16, 6, s. 737-763 27 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2005
Natural Deduction for First-Order Hybrid Logic
Braüner, T., 2005, I: Journal of Logic, Language and Information. 14, s. 173-198Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere
Braüner, T., 2005, I: Studia Logica : An International Journal for Symbolic Logic. 81, s. 191-226Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2004
Natural Deduction for Hybrid Logic
Braüner, T., 2004, I: Journal of Logic and Computation. 14, 3, s. 329-353Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Two Natural Deduction Systems for Hybrid Logic: A Comparison
Braüner, T., 2004, I: Journal of Logic, Language and Information. 13, 1, s. 1-23Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2003
An introduction to A.N. Prior's logic of time and modality
Braüner, T., 2003, I: Phi News. 3Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
-
2002
Modal logic, truth, and the master modality
Braüner, T., 2002, I: Journal of Philosophical Logic. 31, s. 359-386Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
-
2000
A cut-free gentzen formulation of the Modal Logic S5
Braüner, T., 2000, I: Logic journal of the IGPL (Print). 8, 5, s. 629-643Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review