𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On static logics, dynamic logics, and complexity classes

✍ Scribed by D. Harel; D. Peleg


Book ID
114037693
Publisher
Elsevier Science
Year
1984
Weight
793 KB
Volume
60
Category
Article
ISSN
0019-9958

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Dynamic logics of knowledge and access
✍ Tomohiro Hoshi; Eric Pacuit πŸ“‚ Article πŸ“… 2010 πŸ› Springer Netherlands 🌐 English βš– 315 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