„Some decidable classes of formulas of modal logic S4“
Title
Some decidable classes of formulas of modal logic S4
Authors
Norgėla, Stanislovas Leonas
DOI
10.15388/LMR.2001.34621
Full Text
Is Part of
Lietuvos matematikos rinkinys. 2001, t. 41, spec. Nr, p. 408-412.. ISSN 0132-2818
Type
Journal article
Language
English
Publication date
2001
CC license