Bednarska, Kaja, and Andrzej Indrzejczak. 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.