Synchronized Linear-Time Temporal Logic

Authors:
Heinrich Wansing;Norihiro Kamide
Affiliations:
Department of Philosophy II, Ruhr University Bochum, Bochum, Germany 44780;Waseda Institute for Advanced Study, Shinjuku-ku, Japan 169-8050
Venue:
Studia Logica
Year:
2011

Citing 6
Cited 0

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Displaying modal logic

Displaying modal logic
The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

Computational Logic in Multi-Agent Systems
A sequent calculus for 3-dimensional space

SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
A Paraconsistent Linear-time Temporal Logic

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.