Gentzen sequent calculi for some intuitionistic modal logics

DOI10.1093/JIGPAL/JZZ020MaRDI QIDQ5014057zbMATH OpenOpenAlexWikidataFDO

Authors Zhe Lin, Minghui Ma

Publication date 3 December 2021

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzz020

zbMATH Keywords

cut eliminationdecidabilityintuitionistic modal logicsequent calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Gentzen-style sequent calculus for semi-intuitionistic logic
• Gentzen calculi for modal propositional logic
• scientific article; zbMATH DE number 1252393
• Sequent calculi for intuitionistic Gödel-Löb logic
• A Sequent Calculus for the Lesniewskian Modal Logic
• Intuitionistic sequent calculi for finitely many-valued logics
• Terminating sequent calculi for two intuitionistic modal logics
• scientific article; zbMATH DE number 591209
• scientific article; zbMATH DE number 1157127
• Sequent Calculi for Normal Modal Propositional Logics

Cited in

(20)

• Sequent calculi for intuitionistic Gödel-Löb logic
• A proof-theoretic approach to negative translations in intuitionistic tense logics
• The G4i analogue of a G3i sequent calculus
• Nested sequents for intuitionistic modal logics via structural refinement
• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• A general method for proving decidability of intuitionistic modal logics
• Intuitionistic sequent system with multiple succedent
• scientific article; zbMATH DE number 4135914 (Why is no real title available?)
• scientific article; zbMATH DE number 3979042 (Why is no real title available?)
• A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic
• scientific article; zbMATH DE number 1303434 (Why is no real title available?)
• scientific article; zbMATH DE number 1157127 (Why is no real title available?)
• Tree-sequent calculi and decision procedures for intuitionistic modal logics
• Terminating sequent calculi for two intuitionistic modal logics
• A Gentzen-type calculus of sequents for single-operator propositional logic
• scientific article; zbMATH DE number 7668111 (Why is no real title available?)
• Hypersequent calculi for intuitionistic logic with classical atoms
• On the finite model property of non-normal modal logics
• Multi-succedent sequent calculus for intuitionistic epistemic logic
• Sequent calculi and decidability for intuitionistic hybrid logic

This page was built for publication: Gentzen sequent calculi for some intuitionistic modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014057)