𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Antidiodorean logics and the Brentano-Husserl's conception of time

✍ Scribed by Vladimir L. Vasyukov


Publisher
Springer
Year
1993
Tongue
English
Weight
767 KB
Volume
4
Category
Article
ISSN
1122-1151

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