A Modified Subformula Property for the Modal Logic S4.2

DOI10.18778/0138-0680.48.1.02zbMath1477.03059OpenAlexW2971745263MaRDI QIDQ5241399

Mitio Takano

Publication date: 31 October 2019

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.48.1.02

zbMATH Keywords

sequent calculussubformula propertymodal logic S4.2

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

A modified subformula property for the modal logic KG1 ⋮ A modified subformula property for the modal logic KC4

Cites Work

• Unnamed Item
• Unnamed Item
• Subformula results in some propositional modal logics
• A semantical analysis of cut-free calculi for modal logics

This page was built for publication: A Modified Subformula Property for the Modal Logic S4.2