Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3

DOI10.18778/0138-0680.48.4.01zbMath1446.03045OpenAlexW3006002818MaRDI QIDQ5126197

Daishi Yazaki

Publication date: 15 October 2020

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.4.01

zbMATH Keywords

modal logicfinite model propertysubformula propertyanalytic cut

Mathematics Subject Classification ID

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

Cites Work

• A semantical analysis of cut-free calculi for modal logics
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3