| Title |
A labeled sequent calculus for propositional linear time logic |
| Another Title |
Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai. |
| Authors |
Alonderis, Romas |
| DOI |
10.15388/LMR.A.2012.01 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. Ser. A.. Vilnius : Vilniaus universiteto leidykla. 2012, t. 53, p. 1-6.. ISSN 0132-2818. eISSN 2335-898X |
| Keywords [eng] |
Labeled sequent calculus ; Temporal logic |
| Abstract [eng] |
A labeled sequent calculus LSC for propositional linear discrete time logic PLTL is introduced. Its sub-calculus LSC− TL is proved to be complete for some class of PLTL sequents. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Journal article |
| Language |
English |
| Publication date |
2012 |
| CC license |
|
