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

Downloads

Download data is not yet available.

Most read articles by the same author(s)

1 2 > >>