Intuitionistic master modality

MaRDI QIDQ6967415zbMATH OpenFDO

Authors Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh

Publication date 26 June 2025

zbMATH Keywords

cyclic proofsintuitionistic logicmodal logicsequent calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Cited in

(1)

• Intuitionistic -calculus with the Lewis arrow

This page was built for publication: Intuitionistic master modality

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