A modified subformula property for the modal logic KC4

zbMath1477.03061MaRDI QIDQ2027110

Mitio Takano

Publication date: 25 May 2021

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

Full work available at URL: https://projecteuclid.org/euclid.nihmj/1604718024

zbMATH Keywords

modal logicsubformula property

Mathematics Subject Classification ID

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

Related Items (2)

A modified subformula property for the modal logic KG1 ⋮ Basic Propositional Calculus I

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A semantical analysis of cut-free calculi for modal logics
• A Modified Subformula Property for the Modal Logic S4.2
• A General Theory of Completeness Proofs

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