Prefixed tableaus for three-valued modal propositional logics - Sakalauskaitė, Jūratė (Lietuvos matematikos rinkinys, 1997)
There is not abstract.