Indrzejczak A. Admissibility of cut in congruent modal logics. LLP [Internet]. 2011 Nov. 30 [cited 2024 Jul. 27];20(3):189-203. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2011.010