No photo of Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

19992018
If you made any changes in Pure these will be visible here soon.

Research Output 1999 2018

Filter
Journal article
2018

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2018, (Accepted/In press) In : Topics in Cognitive Science.

Research output: Contribution to journalJournal articleResearchpeer-review

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T., 2018, In : Journal of Logic and Computation. 28, 20, p. 883-908

Research output: Contribution to journalJournal articleResearchpeer-review

2017

Completeness and Termination for a Seligman-style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2017, In : Journal of Logic and Computation. 27, 1, p. 81-107

Research output: Contribution to journalJournal articleResearchpeer-review

Theory of Mind, linguistic recursion and autism spectrum disorder

Polyanskaya, I., Blackburn, P. R. & Braüner, T., 2017, In : Beyond Philology. 14, 1, p. 69-95 26 p., 5

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
2014

First-Order Hybrid Logic: Introduction and Survey

Braüner, T., 2014, In : Logic Journal of the IGPL. 22, 1, p. 155-165

Research output: Contribution to journalJournal articleResearchpeer-review

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks

Braüner, T., 2014, In : Journal of Logic, Language and Information. 23, 4, p. 415-439

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
2011

Intuitionistic hybrid logic: Introduction and survey

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

Research output: Contribution to journalJournal articleResearchpeer-review

2010

Hybrid-logik: fra filosofi til datalogi

Braüner, T., 2010, In : Aktuel Naturvidenskab. 2, p. 40-43

Research output: Contribution to journalJournal articleCommunication

2008

Adding intensional machinery to hybrid logic

Braüner, T., 2008, In : Journal of Logic and Computation. 18, 4, p. 631-648 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2007

Why does the Proof-Theory of Hybrid Logic Work so Well?

Braüner, T., 2007, In : Journal of Applied Non-Classical Logics. 17, 4, p. 521-543 23 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2006

Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Braüner, T., 2006, In : Journal of Logic, Language and Information. 15, 3, p. 179-194 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Intuitionistic Hybrid Logic

Braüner, T. & de Paiva, V., 2006, In : Journal of Applied Logic. 4, 3, p. 231-255 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Logikkens Muligheder og Grænser

Braüner, T., 2006, In : Aktuel Naturvidenskab. 6, p. 32-34 3 p.

Research output: Contribution to journalJournal articleCommunication

Tableau-Based Decision Procedures for Hybrid Logic

Braüner, T. & Bolander, T., 2006, In : Journal of Logic and Computation. 16, 6, p. 737-763 27 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2005

Natural Deduction for First-Order Hybrid Logic

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

Research output: Contribution to journalJournal articleResearchpeer-review

Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere

Braüner, T., 2005, In : Studia Logica : An International Journal for Symbolic Logic. 81, p. 191-226

Research output: Contribution to journalJournal articleResearchpeer-review

2004

Natural Deduction for Hybrid Logic

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

Research output: Contribution to journalJournal articleResearchpeer-review

Two Natural Deduction Systems for Hybrid Logic: A Comparison

Braüner, T., 2004, In : Journal of Logic, Language and Information. 13, 1, p. 1-23

Research output: Contribution to journalJournal articleResearchpeer-review

2003

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

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

Research output: Contribution to journalJournal articleResearch

2002

Modal logic, truth, and the master modality

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

Research output: Contribution to journalJournal articleResearch

2000

A cut-free gentzen formulation of the Modal Logic S5

Braüner, T., 2000, In : Logic journal of the IGPL (Print). 8, 5, p. 629-643

Research output: Contribution to journalJournal articleResearchpeer-review