Title Contraction-free calculi for modal logics S5 and KD45 /
Translation of Title Dubliavimo eliminavimas modalumo logikoms S5 ir KD45.
Authors Andrikonis, Julius ; Pliuškevičius, Regimantas Ričardas
DOI 10.15388/LMR.2011.ml03
Full Text Download
Is Part of Lietuvos matematikos rinkinys. LMD darbai.. Vilnius : Matematikos ir informatikos institutas. 2011, t. 52, p. 237-242.. ISSN 0132-2818
Keywords [eng] Modal logic ; Sequent calculus ; Backtracking ; Contraction-free ; Termination
Abstract [eng] It is known that termination and backtracking are among the most important problems in constructing derivations in non-classical logics. In this paper contractionfree and backtracking-free sequent calculi for modal logics S5 and KD45 are presented and founded. These are index-style sequent calculi with some specific indexed axioms. The main new ideas in considered calculi are to use metavariables (along with natural numbers) as elements of indexes and to numerate by different natural number all the positive occurrences of modality.
Published Vilnius : Matematikos ir informatikos institutas
Type Journal article
Language English
Publication date 2011
CC license CC license description