Studia Logica 99 (1-3):365-388 (2011)

Heinrich Wansing
Ruhr-Universität Bochum
A new combined temporal logic called synchronized linear-time temporal logic (SLTL) is introduced as a Gentzen-type sequent calculus. SLTL can represent the n -Cartesian product of the set of natural numbers. The cut-elimination and completeness theorems for SLTL are proved. Moreover, a display sequent calculus δ SLTL is defined.
Keywords Linear-time temporal logic  sequent calculus  display calculus  cut-elimination  completeness
Categories (categorize this paper)
DOI 10.1007/s11225-011-9357-8
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,447
Through your library

References found in this work BETA

Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Sequential Calculus for a First Order Infinitary Temporal Logic.Hiroya Kawai - 1987 - Mathematical Logic Quarterly 33 (5):423-432.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Varieties of Linear Calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Dynamic Non-Commutative Logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.
Linear, Branching Time and Joint Closure Semantics for Temporal Logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
A Modal View of Linear Logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.


Added to PP index

Total views
27 ( #359,724 of 2,326,342 )

Recent downloads (6 months)
1 ( #644,397 of 2,326,342 )

How can I increase my downloads?


My notes