𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Linear temporal logic with until and next, logical consecutions

✍ Scribed by V. Rybakov

Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
373 KB
Volume
155
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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