𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Complexities of Time and Temporality: Implications for World History and Global Futures

✍ Scribed by Heikki Patomäki

Book ID
110973208
Publisher
John Wiley and Sons
Year
2011
Tongue
English
Weight
210 KB
Volume
57
Category
Article
ISSN
0004-9522

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