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.
A labeled sequent calculus for propositional linear time logic
Abstract
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.
