✦ LIBER ✦

An Extended Branching-Time Ockhamist Temporal Logic

✍ Scribed by Mark Brown; Valentin Goranko

Book ID: 110263679
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 134 KB
Volume: 8
Category: Article
ISSN: 0925-8531
DOI: 10.1023/a:1008398102653

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The temporal logic of branching time

✍ Mordechai Ben-Ari; Amir Pnueli; Zohar Manna 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 948 KB

Branching-Time Temporal Logic and Tree A

Branching-Time Temporal Logic and Tree Automata

✍ Orna Kupferman; Orna Grumberg 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 460 KB

An Infinite Hierarchy of Temporal Logics

An Infinite Hierarchy of Temporal Logics over Branching Time

✍ Alexander Rabinovich; Shahar Maoz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 199 KB

Branching within Time: An Expressively C

Branching within Time: An Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity

✍ Massimo Franceschet; Angelo Montanari 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 270 KB

Linear, Branching Time and Joint Closure

Linear, Branching Time and Joint Closure Semantics for Temporal Logic

✍ Joeri Engelfriet; Jan Treur 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 225 KB

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