Sequent Calculi for the Modal -Calculus over S5
scientific article