Some decidable classes of modal logic S5 - Norgėla, Stasys (Lietuvos matematikos rinkinys, 1999)
There is not abstract.