Pages that link to "Item:Q1777372"
From MaRDI portal
The following pages link to Natural deduction for first-order hybrid logic (Q1777372):
Displaying 12 items.
- The Fitch-Church paradox and first order modal logic (Q320315) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- 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 proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)