| 2025 | TABLEAUX | A Tableau System for First-Order Logic with Standard Names. | Jens Claen, Torben Braner |
| 2024 | KI | Logic and Psychology: A Couple of Case Studies. | Torben Braner |
| 2023 | WoLLIC | An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. | Patrick Blackburn, Torben Braner, Julie Lundbak Kofod |
| 2020 | SEFM | Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study. | Torben Braner, Aishwarya Ghosh, Sujata Ghosh |
| 2018 | CogSci | A logical investigation of false-belief tasks. | Torben Braner, Irina Polyanskaya, Patrick Blackburn |
| 2016 | AiML | Synthetic completeness proofs for Seligman-style tableau systems. | Klaus Frovin Jrgensen, Patrick Blackburn, Thomas Bolander, Torben Braner |
| 2016 | CogSci | Recursive belief manipulation and second-order false-beliefs. | Torben Braner, Patrick Blackburn, Irina Polyanskaya |
| 2016 | CogSci | Linguistic recursion and Autism Spectrum Disorder. | Irina Polyanskaya, Torben Braner, Patrick Blackburn |
| 2016 | WoLLIC | Second-Order False-Belief Tasks: Analysis and Formalization. | Torben Braner, Patrick Blackburn, Irina Polyanskaya |
| 2015 | CogSci | Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks: What Goes Wrong When Incorrect Responses are Given? | Torben Braner |
| 2013 | LPAR | A Seligman-Style Tableau System. | Patrick Blackburn, Thomas Bolander, Torben Braner, Klaus Frovin Jrgensen |
| 2013 | TARK | Hybrid-Logical Reasoning in False-Belief Tasks. | Torben Braner |
| 2008 | AiML | Many-valued hybrid logic. | Jens Hansen, Thomas Bolander, Torben Braner |
| 2002 | AiML | Functional Completenes for a Natural Deduction Formulation of Hybridized S5. | Torben Braner |
| 2000 | AiML | Homophonic Theory of Truth for Tense Logic. | Torben Braner |
| 1999 | ICCS | A Software System for Learning Peircean Graphs. | Torben Braner, Claus Donner, Peter hrstrm |
| 1999 | ICCS | Conceptual Graphs as Algebras - With an Application to Analogical Reasoning. | Torben Braner, Jrgen Fischer Nilsson, Anne Rasmussen |
| 1998 | ICCS | Peircean Graphs for the Modal Logic S5. | Torben Braner |
| 1998 | TIME | Ockhamistic Logics and True Futures of Counterfactual Moments. | Torben Braner, Per F. V. Hasle, Peter hrstrm |
| 1997 | CSL | A Formulation of Linear Logic Based on Dependency-Relations. | Torben Braner, Valeria de Paiva |
| 1994 | CSL | The Girard Translation Extended with Recursion. | Torben Braner |
| 1994 | ICALP | A Model of Intuitionistic Affine Logic From Stable Domain Theory. | Torben Braner |