Pages that link to "Item:Q851196"
From MaRDI portal
The following pages link to Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196):
Displaying 12 items.
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Kripke semantics and proof systems for combining intuitionistic logic and classical logic (Q690929) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- (Q4395552) (← links)
- A Hybrid Intuitionistic Logic: Semantics and Decidability (Q5488610) (← links)
- Hybrid logics with Sahlqvist axioms (Q5697717) (← links)
- (Q5855501) (← links)
- Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic (Q6058202) (← links)
- Logic talk (Q6180153) (← links)