Indrzejczak, A. Admissibility of Cut in Congruent Modal Logics. LLP 2011, 20, 189-203.