Finite sequent calculi for PLTL
Romas Alonderis
Vilnius University
Regimantas Pliuškevičius
Vilnius University
Aida Pliuškevičienė
Vilnius University
Published 2015-12-15


temporal logic of knowledge
theorem proving
sequent calculus
invariant rule
looping axioms

How to Cite

Alonderis R., Pliuškevičius R. and Pliuškevičienė A. (2015) “Finite sequent calculi for PLTL”, Lietuvos matematikos rinkinys, 56(A), pp. 1–6. doi: 10.15388/LMR.A.2015.01.


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.

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy

Most read articles by the same author(s)

<< < 1 2