✦ LIBER ✦

An arithmetical hierarchy in propositional dynamic logic

✍ Scribed by Sorin Istrail

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Sequential method in propositional dynam

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

Semantics of looping programs in Proposi

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

Interpreting logics of knowledge in prop

✍ Michael J. Fischer; Neil Immerman 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 404 KB

An efficient procedure for theorem provi

✍ Wen-Tsuen Chen; Ming-Yi Fang 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 662 KB

An Equivalence between Dependencies in N

✍ Sven Hartmann; Sebastian Link 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 261 KB

The design of an arithmetic coding mecha

✍ Horng-Twu Liaw 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 536 KB