A semantical analysis of cut-free calculi for modal logics

DOI10.4467/20842589RM.18.003.8836OpenAlexW3004166243MaRDI QIDQ4627724

Mitio Takano

Publication date: 11 March 2019

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4467/20842589rm.18.003.8836

zbMATH Keywords

sequent calculusfinite model propertycut-eliminationsubformula propertyKripke completeness

Mathematics Subject Classification ID

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

Related Items (5)

A modified subformula property for the modal logic KG1 ⋮ Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3 ⋮ New Modification of the Subformula Property for a Modal Logic ⋮ A modified subformula property for the modal logic KC4 ⋮ A Modified Subformula Property for the Modal Logic S4.2

This page was built for publication: A semantical analysis of cut-free calculi for modal logics