| Title |
Specialization of derivations in modal logic S5 |
| Translation of Title |
Įrodymų specializacija modalumo logikai S5. |
| Authors |
Pliuškevičienė, Aida |
| DOI |
10.15388/LMR.2006.30718 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. 2006, T. 46, spec, Nr, p. 242-246.. ISSN 0132-2818 |
| Keywords [eng] |
Logic, modal ; Decision procedure ; Calculus, sequent ; Calculus, decidable ; Loop-check |
| Abstract [eng] |
Loop-check-free decidable specialization of sequent calculus for modal logic S5 is presented. Soundness and completness of this calculus is proved. |
| Type |
Journal article |
| Language |
English |
| Publication date |
2006 |
| CC license |
|
