Sakalauskaitė J. Tableaus for finitely-valued modal propositional logics. LMR [Internet]. 1998 Dec. 14 [cited 2025 Oct. 29];38(II):302–307 . Available from: https://test.zurnalai.vu.lt/LMR/article/view/37922