𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The temporal logic of branching time

✍ Scribed by Mordechai Ben-Ari; Amir Pnueli; Zohar Manna

Publisher
Springer-Verlag
Year
1983
Tongue
English
Weight
948 KB
Volume
20
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the expressivity and complexity of qu
On the expressivity and complexity of quantitative branching-time temporal logics
✍ F. Laroussinie; Ph. Schnoebelen; M. Turuani πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 347 KB

We investigate extensions of CTL allowing to express quantitative requirements about an abstract notion of time in a simple discrete-time framework, and study the expressive power of several relevant logics. When only subscripted modalities are used, polynomial-time model checking is possible even

Prediction in Branching Time Logic
Prediction in Branching Time Logic
✍ Giacomo Bonanno πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 168 KB
Time-extraction for temporal logic-logic
Time-extraction for temporal logic-logic programming and local process time
✍ Takashi Hattori πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 783 KB

Temporal logic is useful to describe a variety of computer systems such as operating systems and real-time process control systems, where explicit treatment of time plays an essential role. In the logic, the notion of time is represented by a sequence of states at each point in time, which is called