Decidability of a monadic subclass of modal logic S4 - Norgėla, Stanislovas (Lietuvos matematikos rinkinys, 2002)
There is not abstract.