Gentzen-type sequent calculus for modal logic S5. - Alonderis, R; Giedra, H (Logic Journal of the IGPL, 2025)