NORGĖLA, S. Decidability of a monadic subclass of modal logic S4. Lietuvos matematikos rinkinys, v. 42, n. spec., p. 471–475, 20 Dec.2002.