✦ LIBER ✦

Nesting Until and Since in Linear Temporal Logic

✍ Scribed by Denis Thérien; Thomas Wilke

Publisher: Springer
Year: 2004
Tongue: English
Weight: 297 KB
Volume: 37
Category: Article
ISSN: 1433-0490
DOI: 10.1007/s00224-003-1109-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Linear temporal logic with until and nex

Linear temporal logic with until and next, logical consecutions

✍ V. Rybakov 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 373 KB

The complexity of the temporal logic wit

The complexity of the temporal logic with “until” over general linear time

✍ M. Reynolds 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 350 KB

It is shown that the decision problem for the temporal logic with the strict until operator over general linear time is PSPACE-complete. This shows that it is no harder to reason with arbitrary linear orderings than with discrete linear time temporal logics. New techniques are used to give a PSPACE

Temporal Reference in Linear Tense Logic

✍ M. J. Cresswell 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 547 KB

Vectorial languages and linear temporal

Vectorial languages and linear temporal logic

✍ Olivier Serre 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 859 KB

Tool support for learning Büchi automata

Tool support for learning Büchi automata and linear temporal logic

✍ Yih-Kuen Tsay; Yu-Fang Chen; Ming-Hsien Tsai; Kang-Nien Wu; Wen-Chin Chan; Chi-J 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 853 KB

Unifying proof methodologies of duration

Unifying proof methodologies of duration calculus and timed linear temporal logic

✍ Zhiming Liu; Anders P. Ravn; Xiaoshan Li 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 152 KB