𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Expressiveness of Hybrid Temporal Logic on Data Words

✍ Scribed by Ahmet Kara; Thomas Schwentick

Book ID
113602759
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
279 KB
Volume
278
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Two-variable logic on data words
Two-variable logic on data words
✍ BojaΕ„czyk, MikoΕ‚aj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, πŸ“‚ Article πŸ“… 2011 πŸ› Association for Computing Machinery 🌐 English βš– 268 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