BEDNARSKA, K.; INDRZEJCZAK, A. Hypersequent Calculi for S5: The Methods of Cut Elimination. Logic and Logical Philosophy, [S. l.], v. 24, n. 3, p. 277–311, 2015. DOI: 10.12775/LLP.2015.018. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2015.018. Acesso em: 25 apr. 2024.