Eliminability of cut in hypersequent calculi for some modal logics of linear frames
Keywords: محاسبه برنامه ریزی; Proof theory; Hypersequent calculi; Programming calculi; Modal logics; Cut elimination;