𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic

✍ Scribed by Alberto Zanardo


Book ID
121259326
Publisher
Association for Symbolic Logic
Year
1996
Tongue
English
Weight
747 KB
Volume
61
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The temporal logic of branching time
✍ Mordechai Ben-Ari; Amir Pnueli; Zohar Manna πŸ“‚ Article πŸ“… 1983 πŸ› Springer-Verlag 🌐 English βš– 948 KB
On the expressivity and complexity of qu
✍ 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