Sequent calculus for hybrid logic

MaRDI QIDQ3607559zbMATH OpenFDO

Authors Stanislovas Norgėla, Anželika Šalaviejienė

Publication date 2 March 2009

zbMATH Keywords

sequent calculuspure hybrid logic formulas

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Structure of proofs (03F07)

Recommendations

• Simple cut elimination proof for hybrid logic
• Natural Deduction for Hybrid Logic
• Modal Hybrid Logic
• Tableau-based Decision Procedures for Hybrid Logic
• Hybrid logic and its proof-theory

Cited in

(15)

• Sequent calculi for choice logics
• A sequent calculus for first-order logic formalized in Isabelle/HOL
• scientific article; zbMATH DE number 7561320 (Why is no real title available?)
• scientific article; zbMATH DE number 1339952 (Why is no real title available?)
• Constructive Formalization of Hybrid Logic with Eventualities
• scientific article; zbMATH DE number 2051680 (Why is no real title available?)
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• A Focused Sequent Calculus for Higher-Order Logic
• Hypersequents and Systems of Rules
• Hybrid Logical Analyses of the Ambient Calculus
• Birkhoff style calculi for hybrid logics
• Sequent Calculi for Multi-modal Logic with Interaction
• Sequent systems for compact bilinear logic
• Higher-order syntax and saturation algorithms for hybrid logic
• scientific article; zbMATH DE number 1086653 (Why is no real title available?)

This page was built for publication: Sequent calculus for hybrid logic

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