Finite sequent calculi for PLTL
Articles
Romas Alonderis
Vilnius University
Regimantas Pliuškevičius
Vilnius University
Aida Pliuškevičienė
Vilnius University
Published 2015-12-15
https://doi.org/10.15388/LMR.A.2015.01
PDF

Keywords

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.

Abstract

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.

PDF
Creative Commons License

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

Please read the Copyright Notice in Journal Policy