Rooted Hypersequent Calculus for Modal Logic S5
Logic
2019-05-23 v1
Abstract
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 cut are admissible. Soundness and completeness are established as well.
Keywords
Cite
@article{arxiv.1905.09039,
title = {Rooted Hypersequent Calculus for Modal Logic S5},
author = {Mojtaba Aghaei and Hamzeh Mohammadi},
journal= {arXiv preprint arXiv:1905.09039},
year = {2019}
}