A resolution calculus for modal logic S4 - Norgėla, Stasys (Lietuvos matematikos rinkinys, 2000)
There is not abstract.