Indrzejczak, A. (2011). Admissibility of cut in congruent modal logics. Logic and Logical Philosophy, 20(3), 189–203. https://doi.org/10.12775/LLP.2011.010