Subformula property for some modal logics
type: Item
instance of: scholarly article
title: Subformula property for some modal logics
author: Mitio Takano
published in: Nihonkai Mathematical Journal
publication date: 2024-05-29T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7854708
zbMATH Keywords: modal logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: subformula property
MaRDI profile type: Publication
cites work: Q4128789
cites work: Gentzen calculi for modal propositional logic
cites work: Q4032549
cites work: Q4443189
cites work: A semantical analysis of cut-free calculi for modal logics
cites work: A modified subformula property for the modal logic KC4
cites work: New Modification of the Subformula Property for a Modal Logic
cites work: A modified subformula property for the modal logic KG1
description: scientific article; zbMATH DE number 7854708