Publikationer pr. år
Publikationer 1999 2019
2019
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks
Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, (Accepteret/In press) I : Topics in Cognitive Science.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization
Braüner, T., 2019, (Accepteret/In press) I : Logic and Logical Philosophy.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2018
Many-Valued Hybrid Logic
Hansen, J. U., Bolander, T. & Braüner, T., 2018, I : Journal of Logic and Computation. 28, 5, s. 883-908Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang
Fil
2017
Completeness and Termination for a Seligman-style Tableau System
Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2017, I : Journal of Logic and Computation. 27, 1, s. 81-107Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang
Fil
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 adgang
Fil
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. 2, s. 40-43Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
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. 6, s. 32-34 3 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
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