Indrzejczak, Andrzej. 2011. “Admissibility of Cut in Congruent Modal Logics”. Logic and Logical Philosophy 20 (3):189-203. https://doi.org/10.12775/LLP.2011.010.