TY - JOUR
TI - A semantical analysis of cut-free calculi for modal logics
AU - Takano, Mitio
TI - A semantical analysis of cut-free calculi for modal logics
AB - We analyze semantically the logical inference rules in cut-free sequent calculi for the modal logics hich are obtained from the least normal logic K by adding axioms from T, 4, 5, D and B. This implies Kripke completeness, as well as the cutelimination property or the subformula property of the calculi. By slightly modifying the arguments, the  nite model property of the logics also follows.
VL - 2018
IS - Number 53
PY - 2018
SN - 0137-2904
C1 - 2084-2589
SP - 43
EP - 65
DO - 10.4467/20842589RM.18.003.8836
UR - https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/a-semantical-analysis-of-cut-free-calculi-for-modal-logics
KW - Sequent calculus
KW - Kripke completeness
KW - finite model property
KW - cutelimination
KW - subformula property