Pages that link to "Item:Q4820470"
From MaRDI portal
The following pages link to Natural Deduction for Hybrid Logic (Q4820470):
Displaying 24 items.
- The fundamental theorem of world theory (Q484109) (← links)
- Natural deduction, hybrid systems and modal logics (Q659458) (← 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)
- Two natural deduction systems for hybrid logic: A comparison (Q1424966) (← links)
- Natural deduction for non-classical logics (Q1577342) (← links)
- Natural deduction for modal logic of judgment aggregation (Q1698339) (← 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)
- Contextual Natural Deduction (Q3455860) (← links)
- A Two-Dimensional Hybrid Logic of Subset Spaces (Q3601810) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- (Q4438235) (← links)
- A natural deduction approach to dynamic logic (Q4647578) (← links)
- Natural deduction as higher-order resolution (Q4720797) (← links)
- Type-safe higher-order channels with channel locality (Q5302647) (← links)
- (Q5465434) (← links)
