Decidability of a monadic subclass of modal logic S4 - Stanislovas Norgėla (Lietuvos Matematikos Rinkinys)
There is not abstract.