2 papers
math.LO2019
Rooted Hypersequent Calculus for Modal Logic S5
Mojtaba Aghaei, Hamzeh Mohammadi
We present a rooted hypersequent calculus for modal propositional logic S5. We show that all rules of this calculus are invertible and that the rules of weakening, contraction, and…
math.LO2017
A Cut-free sequent calculus for modal logic S5
Mojtaba Aghaei, Hamzeh Mohammadi
We present the system G3S5, a Gentzen-style sequent calculus system for the modal propositional logic S5, which in a sense has the subformula property. We formulate the rules of G3…