A resolution calculus for modal logic S4 - Stasys Norgėla (Lietuvos Matematikos Rinkinys)
There is not abstract.