Pages that link to "Item:Q4820470"
From MaRDI portal
The following pages link to Natural Deduction for Hybrid Logic (Q4820470):
Displaying 15 items.
- The fundamental theorem of world theory (Q484109) (← 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)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- Simple cut elimination proof for hybrid logic (Q2987759) (← links)
- A Two-Dimensional Hybrid Logic of Subset Spaces (Q3601810) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- Type-safe higher-order channels with channel locality (Q5302647) (← links)
