Herbrand expansions of some formulas of modal logic S4 - Norgėla, Stanislovas (Lietuvos matematikos rinkinys, 2003)
There is not abstract.