Some decidable classes of formulas of modal logic S4 - Stanislovas Norgėla (Lietuvos Matematikos Rinkinys, 2001)
There is not abstract.