Return to Article Details Admissibility of cut in congruent modal logics Download Download PDF