Sakalauskaitė, Jūratė. “Tableaus for Finitely-Valued Modal Propositional Logics”. Lietuvos matematikos rinkinys 38, no. II (December 14, 1998): 302–307 . Accessed January 7, 2026. https://www.zurnalai.vu.lt/LMR/article/view/37922.