Torben Braüner

56 papers A* 1B 15C 3Misc 3Journal 25Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A Tableau System for First-Order Logic with Standard Names. TABLEAUX Jens Claßen, Torben Braüner
2025	J	`jnl`	Prior's ideal language. Math. Struct. Comput. Sci. Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod
2025	J	`jnl`	Understanding responses of people with ASD in diverse reasoning tasks: A formal study. Cogn. Process. Torben Braüner, Aishwarya Ghosh, Sujata Ghosh
2024	—	`conf`	Logic and Psychology: A Couple of Case Studies. FCR@KI Torben Braüner
2023	C	`conf`	An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. WoLLIC Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod
2020	J	`jnl`	Being Deceived: Information Asymmetry in Second-Order False Belief Tasks. Top. Cogn. Sci. Torben Braüner, Patrick Blackburn, Irina Polyanskaya
2020	B	`conf`	Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study. SEFM Torben Braüner, Aishwarya Ghosh, Sujata Ghosh
2018	B	`conf`	A logical investigation of false-belief tasks. CogSci Torben Braüner, Irina Polyanskaya, Patrick Blackburn
2018	J	`jnl`	Many-valued hybrid logic. J. Log. Comput. Jens Ulrik Hansen, Thomas Bolander, Torben Braüner
2018	J	`jnl`	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 Torben Braüner
2017	J	`jnl`	Completeness and termination for a Seligman-style tableau system. J. Log. Comput. Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
2016	B	`conf`	Linguistic recursion and Autism Spectrum Disorder. CogSci Irina Polyanskaya, Torben Braüner, Patrick Blackburn
2016	B	`conf`	Recursive belief manipulation and second-order false-beliefs. CogSci Torben Braüner, Patrick Blackburn, Irina Polyanskaya
2016	C	`conf`	Second-Order False-Belief Tasks: Analysis and Formalization. WoLLIC Torben Braüner, Patrick Blackburn, Irina Polyanskaya
2016	B	`conf`	Synthetic completeness proofs for Seligman-style tableau systems. Advances in Modal Logic Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner
2015	B	`conf`	Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks: What Goes Wrong When Incorrect Responses are Given? CogSci Torben Braüner
2014	J	`jnl`	First-order hybrid logic: introduction and survey. Log. J. IGPL Torben Braüner
2014	J	`jnl`	Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks. J. Log. Lang. Inf. Torben Braüner
2013	B	`conf`	A Seligman-Style Tableau System. LPAR Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
2013	B	`conf`	Hybrid-Logical Reasoning in False-Belief Tasks. TARK Torben Braüner
2013	J	`jnl`	Hybrid-Logical Reasoning in False-Belief Tasks. CoRR Torben Braüner
2012	B	`ed.`	Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012 Advances in Modal Logic Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence S. Moss
2011	—	`ed.`	International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS 2010, Edinburgh, Scotland, UK, July 10, 2010 HyLo@LICS Thomas Bolander, Torben Braüner
2011	J	`jnl`	Intuitionistic hybrid logic: Introduction and survey. Inf. Comput. Torben Braüner
2010	—	`conf`	Preface. HyLo@LICS Thomas Bolander, Torben Braüner
2010	—	`ed.`	Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009 M4M Thomas Bolander, Torben Braüner
2009	—	`conf`	Preface. M4M Thomas Bolander, Torben Braüner
2009	J	`jnl`	Preface. J. Log. Lang. Inf. Torben Braüner, Thomas Bolander
2008	J	`jnl`	Adding Intensional Machinery to Hybrid Logic. J. Log. Comput. Torben Braüner
2008	B	`conf`	Many-valued hybrid logic. Advances in Modal Logic Jens Hansen, Thomas Bolander, Torben Braüner
2007	—	`ch.`	First-order modal logic. Handbook of Modal Logic Torben Braüner, Silvio Ghilardi
2007	—	`ed.`	Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006 HyLo@FLoC Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
2007	J	`jnl`	Why does the proof-theory of hybrid logic work so well? J. Appl. Non Class. Logics Torben Braüner
2006	J	`jnl`	Axioms for classical, intuitionistic, and paraconsistent hybrid logic. J. Log. Lang. Inf. Torben Braüner
2006	J	`jnl`	Intuitionistic hybrid logic. J. Appl. Log. Torben Braüner, Valeria de Paiva
2006	—	`conf`	Preface. HyLo@FLoC Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
2006	J	`jnl`	Preface. Synth. Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm
2006	J	`jnl`	Tableau-based Decision Procedures for Hybrid Logic. J. Log. Comput. Thomas Bolander, Torben Braüner
2005	J	`jnl`	Natural Deduction for First-Order Hybrid Logic. J. Log. Lang. Inf. Torben Braüner
2005	J	`jnl`	Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Stud Logica Torben Braüner
2004	J	`jnl`	Natural Deduction for Hybrid Logic. J. Log. Comput. Torben Braüner
2004	J	`jnl`	Two Natural Deduction Systems for Hybrid Logic: A Comparison. J. Log. Lang. Inf. Torben Braüner
2002	B	`conf`	Functional Completenes for a Natural Deduction Formulation of Hybridized S5. Advances in Modal Logic Torben Braüner
2002	J	`jnl`	Modal Logic, Truth, and the Master Modality. J. Philos. Log. Torben Braüner
2000	J	`jnl`	A Cut-Free Gentzen Formulation of the Modal Logic S5. Log. J. IGPL Torben Braüner
2000	B	`conf`	Homophonic Theory of Truth for Tense Logic. Advances in Modal Logic Torben Braüner
1999	Misc	`conf`	A Software System for Learning Peircean Graphs. ICCS Torben Braüner, Claus Donner, Peter Øhrstrøm
1999	Misc	`conf`	Conceptual Graphs as Algebras - With an Application to Analogical Reasoning. ICCS Torben Braüner, Jørgen Fischer Nilsson, Anne Rasmussen
1998	J	`jnl`	A Simple Adequate Categorical Model for PCF, II. Fundam. Informaticae Torben Braüner
1998	C	`conf`	Ockhamistic Logics and True Futures of Counterfactual Moments. TIME Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm
1998	Misc	`conf`	Peircean Graphs for the Modal Logic S5. ICCS Torben Braüner
1997	B	`conf`	A Formulation of Linear Logic Based on Dependency-Relations. CSL Torben Braüner, Valeria de Paiva
1997	J	`jnl`	A General Adequacy Result for a Linear Functional Language. Theor. Comput. Sci. Torben Braüner
1997	—	`conf`	A Simple Adequate Categorical Model for PCF. TLCA Torben Braüner
1994	A*	`conf`	A Model of Intuitionistic Affine Logic From Stable Domain Theory. ICALP Torben Braüner
1994	B	`conf`	The Girard Translation Extended with Recursion. CSL Torben Braüner