Takano, M. (2018). A semantical analysis of cut-free calculi for modal logics. Reports on Mathematical Logic, 2018, 43-65. doi: https://doi.org/10.4467/20842589RM.18.003.8836