New Modification of the Subformula Property for a Modal Logic

DOI10.18778/0138-0680.2020.15zbMath1477.03060OpenAlexW3048560338MaRDI QIDQ5147750

Mitio Takano

Publication date: 28 January 2021

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

zbMATH Keywords

modal logicsubformula property

Mathematics Subject Classification ID

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

Related Items (1)

A modified subformula property for the modal logic KG1

Cites Work

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

This page was built for publication: New Modification of the Subformula Property for a Modal Logic