Cut-free Completeness for Modular Hypersequent Calculi for Modal Logics K, T, and D

Samara Burns, Richard Zach

We investigate a recent proposal for modal hypersequent calculi. The interpretation of relational hypersequents incorporates an accessibility relation along the hypersequent. These…