Tree-sequent calculi and decision procedures for intuitionistic modal logics

DOI10.1093/logcom/exv039zbMath1444.03053OpenAlexW2225972672MaRDI QIDQ4612431

Yakoub Salhi, Didier Galmiche

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv039

zbMATH Keywords

sequent calculusdecidabilityproof theoryintuitionistic modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Intuitionistic non-normal modal logics: a general framework, Nested sequents for intuitionistic modal logics via structural refinement, A proof-theoretic approach to negative translations in intuitionistic tense logics