Subformula property for some modal logics

MaRDI QIDQ6545150zbMATH OpenFDO

Authors Mitio Takano

Publication date 29 May 2024

Published in Nihonkai Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

modal logicsequent calculussubformula property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cites work

• scientific article; zbMATH DE number 149884 (Why is no real title available?)
• scientific article; zbMATH DE number 3554259 (Why is no real title available?)
• scientific article; zbMATH DE number 2024614 (Why is no real title available?)
• A modified subformula property for the modal logic KC4
• A modified subformula property for the modal logic KG1
• A semantical analysis of cut-free calculi for modal logics
• Gentzen calculi for modal propositional logic
• New modification of the subformula property for a modal logic

This page was built for publication: Subformula property for some modal logics

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