1995. Two cut-free modal sequent calculi. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 87, (Dec. 1995), 165–177.