Intet foto af Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

19992019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 1999 2019

Filter
Tidsskriftartikel
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 tidsskriftTidsskriftartikelForskningpeer 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 tidsskriftTidsskriftartikelForskningpeer 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-908

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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-107

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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 tidsskriftTidsskriftartikelForskningpeer 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-165

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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-439

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
2011

Intuitionistic hybrid logic: Introduction and survey

Braüner, T., 2011, I : Information and Computation. 209, 2, s. 1437-1446

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2010

Hybrid-logik: fra filosofi til datalogi

Braüner, T., 2010, I : Aktuel Naturvidenskab. 2, s. 40-43

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

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 tidsskriftTidsskriftartikelForskningpeer 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 tidsskriftTidsskriftartikelForskningpeer 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 tidsskriftTidsskriftartikelForskningpeer 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 tidsskriftTidsskriftartikelForskningpeer review

Logikkens Muligheder og Grænser

Braüner, T., 2006, I : Aktuel Naturvidenskab. 6, s. 32-34 3 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

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 tidsskriftTidsskriftartikelForskningpeer review

2005

Natural Deduction for First-Order Hybrid Logic

Braüner, T., 2005, I : Journal of Logic, Language and Information. 14, s. 173-198

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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-226

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2004

Natural Deduction for Hybrid Logic

Braüner, T., 2004, I : Journal of Logic and Computation. 14, 3, s. 329-353

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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-23

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2003

An introduction to A.N. Prior's logic of time and modality

Braüner, T., 2003, I : Phi News. 3

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

2002

Modal logic, truth, and the master modality

Braüner, T., 2002, I : Journal of Philosophical Logic. 31, s. 359-386

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

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-643

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review