Relational Hypersequents for Modal Logics. - Samara Burns; Richard Zach (CoRR, 2018)

Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics k, T, and d. - Samara Burns; Richard Zach (Rev. Symb. Log., 2021)