| Title | A resolution calculus for modal logic S4 |
|---|---|
| Translation of Title | Rezoliucijų skaičiavimas modalumų logikai S4. |
| Authors | Norgėla, Stanislovas Leonas |
| DOI | 10.15388/LMR.2000.35147 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys. 2000, vol. 40, spec. Nr, p. 270-274.. ISSN 0132-2818 |
| Type | Journal article |
| Language | English |
| Publication date | 2000 |
| CC license |
|