Torben Braüner

According to our database, Torben Braüner authored at least 45 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Axiom System for Basic Hybrid Logic with Propositional Quantifiers.

Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod

Proceedings of the Logic, Language, Information, and Computation, 2023

2020

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

Torben Braüner, Patrick Blackburn, Irina Polyanskaya

Top. Cogn. Sci., 2020

Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study.

Torben Braüner, Aishwarya Ghosh, Sujata Ghosh

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2018

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.

Torben Braüner

Stud Logica, 2018

Many-valued hybrid logic.

Jens Ulrik Hansen, Thomas Bolander, Torben Braüner

J. Log. Comput., 2018

A logical investigation of false-belief tasks.

Torben Braüner, Irina Polyanskaya, Patrick Blackburn

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

2017

Completeness and termination for a Seligman-style tableau system.

Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen

J. Log. Comput., 2017

2016

Second-Order False-Belief Tasks: Analysis and Formalization.

Torben Braüner, Patrick Blackburn, Irina Polyanskaya

Proceedings of the Logic, Language, Information, and Computation, 2016

Linguistic recursion and Autism Spectrum Disorder.

Irina Polyanskaya, Torben Braüner, Patrick Blackburn

Proceedings of the 38th Annual Meeting of the Cognitive Science Society, 2016

Recursive belief manipulation and second-order false-beliefs.

Torben Braüner, Patrick Blackburn, Irina Polyanskaya

Proceedings of the 38th Annual Meeting of the Cognitive Science Society, 2016

Synthetic completeness proofs for Seligman-style tableau systems.

Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner

Proceedings of the Advances in Modal Logic 11, 2016

2015

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks: What Goes Wrong When Incorrect Responses are Given?

Torben Braüner

Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

2014

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

Torben Braüner

J. Log. Lang. Inf., 2014

First-order hybrid logic: introduction and survey.

Torben Braüner

Log. J. IGPL, 2014

2013

Hybrid-Logical Reasoning in False-Belief Tasks.

Torben Braüner

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

A Seligman-Style Tableau System.

Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2011

Intuitionistic hybrid logic: Introduction and survey.

Torben Braüner

Inf. Comput., 2011

2009

Preface.

Thomas Bolander, Torben Braüner

Proceedings of the 6th Workshop on Methods for Modalities, 2009

2008

Adding Intensional Machinery to Hybrid Logic.

Torben Braüner

J. Log. Comput., 2008

Many-valued hybrid logic.

Jens Hansen, Thomas Bolander, Torben Braüner

Proceedings of the Advances in Modal Logic 7, 2008

2007

Why does the proof-theory of hybrid logic work so well?

Torben Braüner

J. Appl. Non Class. Logics, 2007

First-order modal logic.

Torben Braüner, Silvio Ghilardi

Proceedings of the Handbook of Modal Logic., 2007

2006

Preface.

Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm

Synth., 2006

Tableau-based Decision Procedures for Hybrid Logic.

Thomas Bolander, Torben Braüner

J. Log. Comput., 2006

Axioms for classical, intuitionistic, and paraconsistent hybrid logic.

Torben Braüner

J. Log. Lang. Inf., 2006

Intuitionistic hybrid logic.

Torben Braüner, Valeria de Paiva

J. Appl. Log., 2006

Preface.

Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen

Proceedings of the International Workshop on Hybrid Logic, 2006

2005

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

Torben Braüner

Stud Logica, 2005

Natural Deduction for First-Order Hybrid Logic.

Torben Braüner

J. Log. Lang. Inf., 2005

2004

Natural Deduction for Hybrid Logic.

Torben Braüner

J. Log. Comput., 2004

Two Natural Deduction Systems for Hybrid Logic: A Comparison.

Torben Braüner

J. Log. Lang. Inf., 2004

2002

Modal Logic, Truth, and the Master Modality.

Torben Braüner

J. Philos. Log., 2002

Functional Completenes for a Natural Deduction Formulation of Hybridized S5.

Torben Braüner

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2000

A Cut-Free Gentzen Formulation of the Modal Logic S5.

Torben Braüner

Log. J. IGPL, 2000

Homophonic Theory of Truth for Tense Logic.

Torben Braüner

Proceedings of the Advances in Modal Logic 3, 2000

1999

Conceptual Graphs as Algebras - With an Application to Analogical Reasoning.

Torben Braüner, Jørgen Fischer Nilsson, Anne Rasmussen

Proceedings of the Conceptual Structures: Standards and Practices, 1999

A Software System for Learning Peircean Graphs.

Torben Braüner, Claus Donner, Peter Øhrstrøm

Proceedings of the Conceptual Structures: Standards and Practices, 1999

1998

A Simple Adequate Categorical Model for PCF, II.

Torben Braüner

Fundam. Informaticae, 1998

Ockhamistic Logics and True Futures of Counterfactual Moments.

Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Peircean Graphs for the Modal Logic S5.

Torben Braüner

Proceedings of the Conceptual Structures: Theory, 1998

1997

A General Adequacy Result for a Linear Functional Language.

Torben Braüner

Theor. Comput. Sci., 1997

A Simple Adequate Categorical Model for PCF.

Torben Braüner

Proceedings of the Typed Lambda Calculi and Applications, 1997

A Formulation of Linear Logic Based on Dependency-Relations.

Torben Braüner, Valeria de Paiva

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1994

A Model of Intuitionistic Affine Logic From Stable Domain Theory.

Torben Braüner

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

The Girard Translation Extended with Recursion.

Torben Braüner

Proceedings of the Computer Science Logic, 8th International Workshop, 1994