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