Some decidable classes of modal logic S5 - Stasys Norgėla (Lietuvos Matematikos Rinkinys)
There is not abstract.