Inverse method for modal logic S4 - Birštunas, Adomas; Norgėla, Stanislovas (Lietuvos matematikos rinkinys, 2003)
There is not abstract.