The following pages link to Intuitionistic hybrid logic (Q2506826):
Displaying 18 items.
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Sequent calculi and decidability for intuitionistic hybrid logic (Q764257) (← 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)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- What is a relevant connective? (Q2155944) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Hybridizing a Logical Framework (Q2867954) (← links)
- Embedding Constructive K into Intuitionistic K (Q3185769) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- Constructive Description Logics Hybrid-Style (Q4917077) (← links)
- (Q5018490) (← links)
- Bridges from Language to Logic: Concepts, Contexts and Ontologies (Q5179013) (← links)
- (Q5875401) (← links)
- THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS (Q6131233) (← links)
- Logic talk (Q6180153) (← links)
