𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Undivided and Indistinguishable Histories in Branching-Time Logics

✍ Scribed by Alberto Zanardo

Book ID
110260916
Publisher
Springer Netherlands
Year
1998
Tongue
English
Weight
239 KB
Volume
7
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Prediction in Branching Time Logic
Prediction in Branching Time Logic
✍ Giacomo Bonanno πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 168 KB
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