Bednarska K, Indrzejczak A. Hypersequent Calculi for S5: The Methods of Cut Elimination. LLP [Internet]. 2015 Aug. 25 [cited 2024 Apr. 23];24(3):277–311. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2015.018