✦ LIBER ✦

A Tableau Calculus for Minimal Modal Model Generation

✍ Scribed by Fabio Papacchini; Renate A. Schmidt

Book ID: 113602762
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 322 KB
Volume: 278
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2011.10.013

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An analytic tableau calculus for a tempo

An analytic tableau calculus for a temporalised belief logic

✍ Ji Ma; Mehmet A. Orgun; Kamel Adi 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 246 KB

A note on model checking the modal ν-cal

A note on model checking the modal ν-calculus

✍ Glynn Winskel 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 695 KB

On a Modal λ-Calculus for S4

✍ F. Pfenning; H.C. Wong 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 871 KB

A Tableau Method for the Lambek Calculus

A Tableau Method for the Lambek Calculus based on a Matrix Characterization

✍ Leonardo B. Vana; Marcelo da S. Corrêa 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 911 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

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