Arsov, A. Two Cut-Free Modal Sequent Calculi. Ann. Sofia Univ. Fac. Math. and Inf. 1995, 87, 165-177.