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