✦ LIBER ✦

Probabilistic temporal logics via the modal mu-calculus

✍ Scribed by Rance Cleaveland; S. Purushothaman Iyer; Murali Narasimha

Book ID: 108281061
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 389 KB
Volume: 342
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.03.048

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Proof Theory of the Modal mu-Calc

On the Proof Theory of the Modal mu-Calculus

✍ Thomas Studer 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 366 KB

Path calculus in the modal logic S4

✍ S. Norgėla 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 85 KB

The Situation Calculus: A Case for Modal

The Situation Calculus: A Case for Modal Logic

✍ Gerhard Lakemeyer 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

The modalized Heyting calculus: a conser

The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★

✍ Esakia, Leo 📂 Article 📅 2006 🏛 Editions Lavoisier 🌐 English ⚖ 179 KB

TEMPORAL REASONING WITH THE MODAL LOGIC

TEMPORAL REASONING WITH THE MODAL LOGIC Z

✍ David E. Leasure 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 999 KB

Model checking the full modal mu-calculu

Model checking the full modal mu-calculus for infinite sequential processes

✍ Olaf Burkart; Bernhard Steffen 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 983 KB

It is known that pushdown processes have a decidable monadic second-order theory (Muller and Schupp, Theoret. Comput. Sci. 37 (1985) 51-75) and that this result covers the model-checking problem for the modal mu-calculus. Unfortunately, the corresponding decidability procedure is not practical due t