Rooted Hypersequent Calculus for Modal Logic S5

Hamzeh Mohammadi, Mojtaba Aghaei. Rooted Hypersequent Calculus for Modal Logic S5. Logica Universalis, 17(3):269-295, September 2023. [doi]

Abstract

Abstract is missing.