Sequent calculi and decidability for intuitionistic hybrid logic
From MaRDI portal
Publication:764257
DOI10.1016/j.ic.2011.10.002zbMath1243.03028OpenAlexW1982758692MaRDI 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
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 (3)
On graphs for intuitionistic modal logics ⋮ Proofs and countermodels in non-classical logics ⋮ Intuitionistic hybrid logic: introduction and survey
Uses Software
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
This page was built for publication: Sequent calculi and decidability for intuitionistic hybrid logic