✦ LIBER ✦

An Infinite Hierarchy of Temporal Logics over Branching Time

✍ Scribed by Alexander Rabinovich; Shahar Maoz

Book ID: 112252612
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 199 KB
Volume: 171
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2001.2970

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness of temporal logics over inf

Completeness of temporal logics over infinite intervals

✍ Hanpin Wang; Qiwen Xu 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 252 KB

Interval temporal logics over inÿnite intervals are studied. First, the ordinary possible worlds models are extended to inÿnite possible world models. Accordingly, an axiomatic system is proposed and it has been proved complete. Secondly, inÿnite intervals are included in a logic over abstract inter

An Extended Branching-Time Ockhamist Tem

An Extended Branching-Time Ockhamist Temporal Logic

✍ Mark Brown; Valentin Goranko 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 134 KB

The temporal logic of branching time

✍ Mordechai Ben-Ari; Amir Pnueli; Zohar Manna 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 948 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

Branching-Time Logic with Quantification

Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic

✍ Alberto Zanardo 📂 Article 📅 1996 🏛 Association for Symbolic Logic 🌐 English ⚖ 747 KB

An infinitary variant of Metric Temporal

An infinitary variant of Metric Temporal Logic over dense time domains

✍ Stefano Baratella; Andrea Masini 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 144 KB 👁 1 views

## Abstract We introduce a complete and cut‐free proof system for a sufficiently expressive fragment of Metric Temporal Logic over dense time domains in which a schema of induction is provable. So doing we extend results previously obtained by Montagna et al. to unbounded temporal operators. (© 200