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