A labeled sequent calculus for propositional linear time logic
Articles
Romas Alonderis
Vilnius University
Published 2012-12-15
https://doi.org/10.15388/LMR.A.2012.01
PDF

Keywords

labeled sequent calculus
temporal logic

How to Cite

Alonderis R. (2012) “A labeled sequent calculus for propositional linear time logic”, Lietuvos matematikos rinkinys, 53(A), pp. 1–6. doi: 10.15388/LMR.A.2012.01.

Abstract

A labeled sequent calculus LSC for propositional linear discrete time logic PLTL is introduced. Its sub-calculus LSCTL is proved to be complete for some class of PLTL sequents.

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