✦ LIBER ✦

Propositional dynamic logic of flowcharts

✍ Scribed by D. Harel; R. Sherman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Propositional dynamic logic with recursi

✍ Christof Löding; Carsten Lutz; Olivier Serre 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 301 KB

Sequential method in propositional dynam

✍ Hirokazu Nishimura 📂 Article 📅 1979 🏛 Springer-Verlag 🌐 English ⚖ 832 KB

Propositional dynamic logic with local a

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

An arithmetical hierarchy in proposition

✍ Sorin Istrail 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 465 KB

Propositional dynamic logic is weaker wi

✍ Francine Berman; Michael Paterson 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 569 KB

A Propositional Dynamic Logic with Quali

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