𝔖 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
✍ 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(
✍ 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.