Bednarska, K., & Indrzejczak, A. (2015). Hypersequent Calculi for S5: The Methods of Cut Elimination. Logic and Logical Philosophy, 24(3), 277–311. https://doi.org/10.12775/LLP.2015.018