Title Decidability of a monadic subclass of modal logic S4 /
Translation of Title Vienos modalumo logikos S4 klasės su vienviečiais predikatiniais kintamaisiais išsprendžiamumas.
Authors Norgėla, Stanislovas Leonas
DOI 10.15388/LMR.2002.32979
Full Text Download
Is Part of Lietuvos matematikos rinkinys. 2002, t. 42, spec. Nr, p. 471-475.. ISSN 0132-2818
Type Journal article
Language English
Publication date 2002
CC license CC license description