Herbrand expansions of some formulas of modal logic S4 - Stanislovas Norgėla (Lietuvos Matematikos Rinkinys)
There is not abstract.