✦ LIBER ✦

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

✍ Scribed by Alberto Zanardo

Book ID: 121259326
Publisher: Association for Symbolic Logic
Year: 1996
Tongue: English
Weight: 747 KB
Volume: 61
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2275595

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

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

Completeness of a Branching-Time Logic w

Completeness of a Branching-Time Logic with Possible Choices

✍ Roberto Ciuni; Alberto Zanardo 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 397 KB

Is the semantics of branching structures

Is the semantics of branching structures adequate for chronological modal logics?

✍ Hirokazu Nishimura 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 294 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

The Logic with Truth and Falsehood Opera

The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic

✍ Sergey Pavlov 📂 Article 📅 2011 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 144 KB