Torben Braüner

Available identifiers

zbMath Open brauner.torbenMaRDI QIDQ243302

List of research outcomes

Publication	Date of Publication	Type
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts	2024-02-29	Paper
An axiom system for basic hybrid logic with propositional quantifiers	2024-02-28	Paper
Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization	2021-08-17	Paper
A model of intuitionistic affine logic from stable domain theory	2019-04-29	Paper
Many-valued hybrid logic	2019-01-31	Paper
Book review of: W. Conradie and V. Goranko, Logic and discrete mathematics. A concise introduction	2018-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4636041	2018-04-23	Paper
Completeness and termination for a Seligman-style tableau system	2017-05-17	Paper
Second-Order False-Belief Tasks: Analysis and Formalization	2016-09-09	Paper
Hybrid-logical reasoning in the Smarties and Sally-Anne tasks	2015-02-27	Paper
First-order hybrid logic: introduction and survey	2015-02-12	Paper
A Seligman-Style Tableau System	2014-01-17	Paper
Intuitionistic hybrid logic: introduction and survey	2012-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q3086942	2011-03-30	Paper
Hybrid logic and its proof-theory	2010-09-16	Paper
Why does the proof-theory of hybrid logic work so well?	2009-11-30	Paper
Adding Intensional Machinery to Hybrid Logic	2008-08-15	Paper
Tableau-based Decision Procedures for Hybrid Logic	2007-04-13	Paper
Axioms for classical, intuitionistic, and paraconsistent hybrid logic	2006-11-17	Paper
Intuitionistic hybrid logic	2006-10-10	Paper
Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere	2006-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q5465434	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q3024901	2005-07-04	Paper
Natural deduction for first-order hybrid logic	2005-05-13	Paper
Natural Deduction for Hybrid Logic	2004-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4474828	2004-07-21	Paper
Two natural deduction systems for hybrid logic: A comparison	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4430393	2003-10-09	Paper
Modal logic, truth, and the master modality.	2003-03-06	Paper
A cut-free Gentzen formulation of the modal logic S5	2001-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4952311	2000-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q4490356	2000-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4218928	1999-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4218273	1999-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q3837985	1998-12-10	Paper
A general adequacy result for a linear functional language	1998-07-23	Paper

Research outcomes over time

This page was built for person: Torben Braüner