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