Indrzejczak, A. “Admissibility of Cut in Congruent Modal Logics”. Logic and Logical Philosophy, vol. 20, no. 3, Nov. 2011, pp. 189-03, doi:10.12775/LLP.2011.010.