3 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…
math.LO2017
Rejecting inadmissible rules in reduced normal forms in S4
Mojtaba Aghaei, Maryam Rostami Giv
Several methods for checking admissibility of rules in the modal logic are presented in [1], [15]. These methods determine admissibility of rules in , but they don't deter…