%0 Journal Article
%T A semantical analysis of cut-free calculi for modal logics
%A Takano, Mitio
%J Reports on Mathematical Logic
%V 2018
%R 10.4467/20842589RM.18.003.8836
%N Number 53
%P 43-65
%K Sequent calculus, Kripke completeness, finite model property, cutelimination, subformula property
%@ 0137-2904
%D 2018
%U https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/a-semantical-analysis-of-cut-free-calculi-for-modal-logics
%X 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.