Sakalauskaitė, J. Tableaus for Finitely-Valued Modal Propositional Logics. LMR 1998, 38 (II), 302–307 . https://doi.org/10.15388/LMD.1998.37922.