Natural deduction for first-order hybrid logic
From MaRDI portal
Publication:1777372
DOI10.1007/S10849-005-3927-YzbMath1068.03016OpenAlexW1984084123MaRDI QIDQ1777372
Publication date: 13 May 2005
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-005-3927-y
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (12)
The Fitch-Church paradox and first order modal logic ⋮ Axioms for classical, intuitionistic, and paraconsistent hybrid logic ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Encoding hybridized institutions into first-order logic ⋮ Natural deduction for first-order hybrid logic ⋮ Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) ⋮ Coalgebraic Hybrid Logic ⋮ A proof-theoretic study of the correspondence of hybrid logic and classical logic ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Why does the proof-theory of hybrid logic work so well? ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
Cites Work
- Thematic issue on modal logic
- Repairing the interpolation theorem in quantified modal logic
- Two natural deduction systems for hybrid logic: A comparison
- Natural deduction for first-order hybrid logic
- Modal logic, truth, and the master modality.
- First-order modal logic
- Labelled propositional modal logics: theory and practice
- Natural Deduction for Hybrid Logic
- Internalizing labelled deduction
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Natural deduction for first-order hybrid logic
