Two decidable classes of formulas of the modal logic S5 |
| |
| Authors: | S. Norgėla |
| |
| Affiliation: | (1) Vilnius University, Naugarduko 24, 2600 Vilnius, Lithuania |
| |
| Abstract: | With the use of S. Yu. Maslov's inverse method, we prove the decidability by derivability of two classes of formulas of the quantifier modal logic S5 containing only one-place predicate variables. Translated from Lietuvos Matematikos Rinkinys, Vol. 40, No. 3, pp. 350–360, July–September, 2000. Translated by Remigijus Lapinskas |
| |
| Keywords: | modal logic decidable classes |
| 本文献已被 SpringerLink 等数据库收录！ |
|
