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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Torben Braüner