A sequent calculus for propositional temporal logic with time gaps
Articles
Romas Alonderis
Vilnius University
Published 2011-12-15
https://doi.org/10.15388/LMR.2011.ml01
PDF

Keywords

temporal logic
sequent calculus
Kripke semantics internalization

How to Cite

Alonderis R. (2011) “A sequent calculus for propositional temporal logic with time gaps”, Lietuvos matematikos rinkinys, 52(proc. LMS), pp. 225–230. doi: 10.15388/LMR.2011.ml01.

Abstract

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.

 

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