| Title |
A sequent calculus for propositional temporal logic with time gaps |
| Translation of Title |
Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais. |
| Authors |
Alonderis, Romas |
| DOI |
10.15388/LMR.2011.ml01 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. LMD darbai.. Vilnius : Matematikos ir informatikos institutas. 2011, t. 52, p. 225-230.. ISSN 0132-2818 |
| Keywords [eng] |
Sequent calculus ; Temporal logic ; Kripke semantics internalization |
| Abstract [eng] |
A sequent calculus with Kripke semantics internalization for a propositional temporal logic with time gaps is introduced. All rules of the calculus are context-free and height-preserving invertible. Structural rules are admissible. The calculus is cut free and is proved to be complete. |
| Published |
Vilnius : Matematikos ir informatikos institutas |
| Type |
Journal article |
| Language |
English |
| Publication date |
2011 |
| CC license |
|
