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 |
|
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 |
|