Sequent calculus for hybrid logic

zbMATH Open1163.03313MaRDI QIDQ3607559FDOQ3607559

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

Publication date: 2 March 2009

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

zbMATH Keywords

sequent calculuspure hybrid logic formulas

Mathematics Subject Classification ID

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

Cited In (15)

• A sequent calculus for first-order logic formalized in Isabelle/HOL
• Sequent calculi for choice logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructive Formalization of Hybrid Logic with Eventualities
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)