𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the expressive power of temporal logic for infinite words

✍ Scribed by Joëlle Cohen-Chesnot

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
744 KB
Volume
83
Category
Article
ISSN
0304-3975

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

ON THE EXPRESSIVE POWER OF THE LOGICS L(
ON THE EXPRESSIVE POWER OF THE LOGICS L(Qαn1,…,nm)
✍ Andreas Rapp 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 576 KB

ON THE EXPRESSIVE POWER O F THE LOGICS L ( Q P ~\* . -. S " ~) ) by AXDREAS RAPP in Freiburg (G.F.R.)') ''i 5 m ~( i ) ' t then L(Q) 5 L(Q'). I) I. would like to thank H.-D. EBBINQHAUS, J. FLUM and W. THOMAS for helpful discuesions.