The following pages link to Torben Braüner (Q243302):
Displayed 36 items.
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- A general adequacy result for a linear functional language (Q1391860) (← links)
- Two natural deduction systems for hybrid logic: A comparison (Q1424966) (← links)
- Book review of: W. Conradie and V. Goranko, Logic and discrete mathematics. A concise introduction (Q1653659) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- Modal logic, truth, and the master modality. (Q1857362) (← links)
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks (Q2258816) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- Second-Order False-Belief Tasks: Analysis and Formalization (Q2820690) (← links)
- A Seligman-Style Tableau System (Q2870122) (← links)
- Completeness and termination for a Seligman-style tableau system (Q2987043) (← links)
- (Q3024901) (← links)
- (Q3086942) (← links)
- Tableau-based Decision Procedures for Hybrid Logic (Q3431972) (← links)
- Adding Intensional Machinery to Hybrid Logic (Q3520240) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- (Q3837985) (← links)
- (Q4218273) (← links)
- (Q4218928) (← links)
- (Q4430393) (← links)
- (Q4474828) (← links)
- (Q4490356) (← links)
- A cut-free Gentzen formulation of the modal logic S5 (Q4511541) (← links)
- Many-valued hybrid logic (Q4612428) (← links)
- A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
- (Q4636041) (← links)
- Natural Deduction for Hybrid Logic (Q4820470) (← links)
- (Q4952311) (← links)
- Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization (Q5006836) (← links)
- First-order hybrid logic: introduction and survey (Q5172130) (← links)
- (Q5465434) (← links)
- Hybrid logic and its proof-theory (Q5961845) (← links)
- An axiom system for basic hybrid logic with propositional quantifiers (Q6118684) (← links)
- Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts (Q6119334) (← links)