✦ LIBER ✦

Propositional dynamic logic with recursive programs

✍ Scribed by Christof Löding; Carsten Lutz; Olivier Serre

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Propositional dynamic logic of context-f

✍ Martin Lange; Rafał Somla 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 110 KB

Semantics of looping programs in Proposi

✍ Francine Berman 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 601 KB

Propositional dynamic logic with local a

✍ M.L. Tiomkin; J.A. Makowsky 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 926 KB

A Propositional Dynamic Logic with Quali

✍ Dimitar P. Guelev 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 217 KB

Propositional dynamic logic of flowchart

✍ D. Harel; R. Sherman 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 686 KB

A propositional logic of Boolean recursi

✍ A. L. Rastsvetaev 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 514 KB