Arsov, A. 1995. Two cut-free modal sequent calculi. Ann. Sofia Univ. Fac. Math. and Inf. 87, (Dec. 1995), 165–177.