Subformula property for some modal logics

MaRDI QIDQ6545150FDOQ6545150

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

• Gentzen calculi for modal propositional logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A semantical analysis of cut-free calculi for modal logics
• Title not available (Why is that?)
• A modified subformula property for the modal logic KC4
• New modification of the subformula property for a modal logic
• A modified subformula property for the modal logic KG1

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)