Natural Deduction for Hybrid Logic

DOI10.1093/LOGCOM/14.3.329MaRDI QIDQ4820470zbMATH OpenOpenAlexFDO

Authors Torben Braüner

Publication date 15 October 2004

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/cb7cd45bc65eb40318f4a7d42cee332a941465ce

zbMATH Keywords

natural deductionnormalizationhybrid logicGentzen system

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Natural deduction for first-order hybrid logic
• Birkhoff style calculi for hybrid logics
• Hybrid logic and its proof-theory
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
• Two natural deduction systems for hybrid logic: A comparison

Cited in

(25)

• Two natural deduction systems for hybrid logic: A comparison
• Why does the proof-theory of hybrid logic work so well?
• Natural deduction for non-classical logics
• A Two-Dimensional Hybrid Logic of Subset Spaces
• scientific article; zbMATH DE number 2196584 (Why is no real title available?)
• A proof-theoretic study of the correspondence of hybrid logic and classical logic
• Contextual Natural Deduction
• A natural deduction approach to dynamic logic
• Natural deduction as higher-order resolution
• scientific article; zbMATH DE number 2015404 (Why is no real title available?)
• Intuitionistic hybrid logic
• Type-safe higher-order channels with channel locality
• Intuitionistic hybrid logic: introduction and survey
• Sequent calculi and decidability for intuitionistic hybrid logic
• Natural deduction, hybrid systems and modal logics
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• The fundamental theorem of world theory
• Simple cut elimination proof for hybrid logic
• Sequent calculus for hybrid logic
• Pure extensions, proof rules, and hybrid axiomatics
• Natural deduction for modal logic of judgment aggregation
• Natural deduction for first-order hybrid logic
• ExpTime tableaux with global caching for hybrid PDL
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
• An efficient approach to nominal equalities in hybrid logic tableaux

This page was built for publication: Natural Deduction for Hybrid Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4820470)