Tableaus for finitely-valued modal propositional logics - Jūratė Sakalauskaitė (Lietuvos Matematikos Rinkinys)
There is not abstract.