Cut-free systems for three-valued modal logics (Q1203764)

\textit{O. Morikawa} introduced [ibid. 30, 130-137 (1989; Zbl 0665.03013)] (the three-valued version of) the sequent calculi for the three-valued modal propositional logics 3-K\(_ 3\), 3-K\(_ 2\), 3-M\(_ 3\), 3-M\(_ 2\), 3-S4\(_ 3\), 3-S4\(_ 2\), 3-S5\(_ 3\), and 3-S5\(_ 2\). But, as he showed, none of them enjoys the cut-elimination property. So we formulate, in this paper, other sequent calculi (for those logics) which admit elimination of cuts.