| Title |
Finite sequent calculi for PLTL |
| Translation of Title |
Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai. |
| Authors |
Alonderis, Romas ; Pliuškevičius, Regimantas Ričardas ; Pliuškevičienė, Aida |
| DOI |
10.15388/LMR.A.2015.01 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. LMD darbai. Ser. A.. Vilnius : Matematikos ir informatikos institutas. 2015, T. 56, p. 1-6.. ISSN 0132-2818 |
| Keywords [eng] |
temporal logic of knowledge ; theorem proving ; sequent calculus ; invariant rule ; looping axioms |
| Abstract [eng] |
Two sequent calculi for temporal logic of knowledge are presented: one containing invariant-like rule and the other containing looping axioms. Its proved that the calculi are equivalent, sound and complete. |
| Published |
Vilnius : Matematikos ir informatikos institutas |
| Type |
Journal article |
| Language |
English |
| Publication date |
2015 |
| CC license |
|
