Gentzen sequent calculi for some intuitionistic modal logics

DOI10.1093/jigpal/jzz020zbMath1477.03055OpenAlexW2947164448WikidataQ128013653 ScholiaQ128013653MaRDI QIDQ5014057

Minghui Ma, Zhe Lin

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 eliminationsequent calculusdecidabilityintuitionistic modal 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) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

A proof-theoretic approach to negative translations in intuitionistic tense logics

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