𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proof-theoretical investigation of temporal logic with time gaps

✍ Scribed by R. Alonderis

Publisher
Springer
Year
2000
Tongue
English
Weight
977 KB
Volume
40
Category
Article
ISSN
0363-1672

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Dealing with Multiple Granularity of Tim
Dealing with Multiple Granularity of Time in Temporal Logic Programming
✍ CHUCHANG LIU; MEHMET A. ORGUN πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 664 KB

Chronolog(MC) is an extension of logic programming based on a linear-time temporal logic with multiple granularity of time called TLC . A Chronolog(MC) program consists of a clock definition, a clock assignment and a program body. Each predicate symbol appearing in the program body is associated wit

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