Torben Braüner

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 11

Top Topics

Hybrid Approaches

Logical Reasoning

Dempster Shafer

Top Venues

J. Log. Comput.

Publications

Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. WoLLIC (2023)
Torben Braüner, Aishwarya Ghosh, Sujata Ghosh
Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study. SEFM (2020)
Torben Braüner, Patrick Blackburn, Irina Polyanskaya
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks. Top. Cogn. Sci. 12 (2) (2020)
Jens Ulrik Hansen, Thomas Bolander, Torben Braüner
Many-valued hybrid logic. J. Log. Comput. 28 (5) (2018)
Torben Braüner
Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015, pp. 450. ISBN-13: 978-1-118-75127-5 (paperback) $42, ISBN-10: 978-1-118-75127-2 (eBook) $37.99. Stud Logica 106 (3) (2018)
Torben Braüner, Irina Polyanskaya, Patrick Blackburn
A logical investigation of false-belief tasks. CogSci (2018)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
Completeness and termination for a Seligman-style tableau system. J. Log. Comput. 27 (1) (2017)
Torben Braüner, Patrick Blackburn, Irina Polyanskaya
Recursive belief manipulation and second-order false-beliefs. CogSci (2016)
Irina Polyanskaya, Torben Braüner, Patrick Blackburn
Linguistic recursion and Autism Spectrum Disorder. CogSci (2016)
Torben Braüner, Patrick Blackburn, Irina Polyanskaya
Second-Order False-Belief Tasks: Analysis and Formalization. WoLLIC (2016)
Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner
Synthetic completeness proofs for Seligman-style tableau systems. Advances in Modal Logic (2016)
Torben Braüner
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks: What Goes Wrong When Incorrect Responses are Given? CogSci (2015)
Torben Braüner
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks. J. Log. Lang. Inf. 23 (4) (2014)
Torben Braüner
First-order hybrid logic: introduction and survey. Log. J. IGPL 22 (1) (2014)
Torben Braüner
Hybrid-Logical Reasoning in False-Belief Tasks. CoRR (2013)
Torben Braüner
Hybrid-Logical Reasoning in False-Belief Tasks. TARK (2013)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
A Seligman-Style Tableau System. LPAR (2013)
Thomas Bolander, Torben Braüner
Preface. Electron. Notes Theor. Comput. Sci. 273 (2011)
Torben Braüner
Intuitionistic hybrid logic: Introduction and survey. Inf. Comput. 209 (12) (2011)
Thomas Bolander, Torben Braüner
Preface. Electron. Notes Theor. Comput. Sci. 262 (2010)
Torben Braüner, Thomas Bolander
Preface. J. Log. Lang. Inf. 18 (4) (2009)
Jens Hansen, Thomas Bolander, Torben Braüner
Many-valued hybrid logic. Advances in Modal Logic (2008)
Torben Braüner
Adding Intensional Machinery to Hybrid Logic. J. Log. Comput. 18 (4) (2008)
Torben Braüner
Why does the proof-theory of hybrid logic work so well? J. Appl. Non Class. Logics 17 (4) (2007)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
Preface. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Torben Braüner, Valeria de Paiva
Intuitionistic hybrid logic. J. Appl. Log. 4 (3) (2006)
Torben Braüner
Axioms for classical, intuitionistic, and paraconsistent hybrid logic. J. Log. Lang. Inf. 15 (3) (2006)
Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm
Preface. Synth. 150 (3) (2006)
Thomas Bolander, Torben Braüner
Tableau-based Decision Procedures for Hybrid Logic. J. Log. Comput. 16 (6) (2006)
Torben Braüner
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Stud Logica 81 (2) (2005)
Torben Braüner
Natural Deduction for First-Order Hybrid Logic. J. Log. Lang. Inf. 14 (2) (2005)
Torben Braüner
Two Natural Deduction Systems for Hybrid Logic: A Comparison. J. Log. Lang. Inf. 13 (1) (2004)
Torben Braüner
Natural Deduction for Hybrid Logic. J. Log. Comput. 14 (3) (2004)
Torben Braüner
Modal Logic, Truth, and the Master Modality. J. Philos. Log. 31 (4) (2002)
Torben Braüner
Functional Completenes for a Natural Deduction Formulation of Hybridized S5. Advances in Modal Logic (2002)
Torben Braüner
A Cut-Free Gentzen Formulation of the Modal Logic S5. Log. J. IGPL 8 (5) (2000)
Torben Braüner
Homophonic Theory of Truth for Tense Logic. Advances in Modal Logic (2000)
Torben Braüner, Jørgen Fischer Nilsson, Anne Rasmussen
Conceptual Graphs as Algebras - With an Application to Analogical Reasoning. ICCS (1999)
Torben Braüner, Claus Donner, Peter Øhrstrøm
A Software System for Learning Peircean Graphs. ICCS (1999)
Torben Braüner
A Simple Adequate Categorical Model for PCF, II. Fundam. Informaticae 33 (4) (1998)
Torben Braüner
Peircean Graphs for the Modal Logic S5. ICCS (1998)
Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm
Ockhamistic Logics and True Futures of Counterfactual Moments. TIME (1998)
Torben Braüner
A Simple Adequate Categorical Model for PCF. TLCA (1997)
Torben Braüner
A General Adequacy Result for a Linear Functional Language. Theor. Comput. Sci. 177 (1) (1997)
Torben Braüner, Valeria de Paiva
A Formulation of Linear Logic Based on Dependency-Relations. CSL (1997)
Torben Braüner
A Model of Intuitionistic Affine Logic From Stable Domain Theory. ICALP (1994)
Torben Braüner
The Girard Translation Extended with Recursion. CSL (1994)