Sequent calculi and decidability for intuitionistic hybrid logic
From MaRDI portal
Publication:764257
DOI10.1016/j.ic.2011.10.002zbMath1243.03028MaRDI QIDQ764257
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
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03F05: Cut-elimination and normal-form theorems
Related Items
Intuitionistic hybrid logic: introduction and survey, On graphs for intuitionistic modal logics, Proofs and countermodels in non-classical logics
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item