A modified subformula property for the modal logic KG1

MaRDI QIDQ6166030

Mitio Takano

Publication date: 2 August 2023

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

Full work available at URL: https://projecteuclid.org/journals/nihonkai-mathematical-journal/volume-33/issue-2/A-MODIFIED-SUBFORMULA-PROPERTY-FOR-THE-MODAL-LOGIC-KG1/nihmj/1687774946.full

zbMATH Keywords

sequent calculussubformula propertymodal logic KG1

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A modified subformula property for the modal logic KC4
• A semantical analysis of cut-free calculi for modal logics
• New Modification of the Subformula Property for a Modal Logic
• A Modified Subformula Property for the Modal Logic S4.2

This page was built for publication: A modified subformula property for the modal logic KG1