| Title |
Partial cut elimination for combinations of propositional multi-modal logics with past time |
| Translation of Title |
Dalinis pjūvio eliminavimas daugiamodalumų logikų junginiams su praeities laiku. |
| Authors |
Sakalauskaitė, Jūratė |
| DOI |
10.15388/LMR.2011.ml07 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. LMD darbai.. Vilnius : Matematikos ir informatikos institutas. 2011, t. 52, p. 257-261.. ISSN 0132-2818 |
| Keywords [eng] |
Modal logic ; Temporal logic ; Sequent calculus ; Cut |
| Abstract [eng] |
We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule. |
| Published |
Vilnius : Matematikos ir informatikos institutas |
| Type |
Journal article |
| Language |
English |
| Publication date |
2011 |
| CC license |
|
