Sequent calculi and decidability for intuitionistic hybrid logic

DOI10.1016/j.ic.2011.10.002zbMath1243.03028OpenAlexW1982758692MaRDI QIDQ764257

Didier Galmiche, Yakoub Salhi

Publication date: 13 March 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2011.10.002

zbMATH Keywords

sequent calculusdecidabilitycut-eliminationintuitionistic hybrid logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05)

Related Items

On graphs for intuitionistic modal logics, Proofs and countermodels in non-classical logics, Intuitionistic hybrid logic: introduction and survey

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• Intuitionistic hybrid logic
• Internalization: The Case of Hybrid Logics
• A modal analysis of staged computation
• Labelled Calculi for Łukasiewicz Logics
• Natural Deduction for Hybrid Logic
• Internalizing labelled deduction
• Programming Languages and Systems
• Termination for Hybrid Tableaus
• A Hybrid Intuitionistic Logic: Semantics and Decidability