✦ LIBER ✦

Completeness Proofs for Some Logics of Programs

✍ Scribed by Bogdan S. Chlebus

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On strictly arithmetical completeness in

✍ Andrzej Szalas 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 892 KB

Barwise Completeness Theorems for Some B

✍ M. Rašković; R. Živaljević 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

A completeness proof for adapted probabi

✍ H.Jerome Keisler 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 578 KB

Completions of perpetual logic programs

✍ James Hein 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 876 KB

The completeness of gp-resolution for an

✍ James J. Lu; Lawrence J. Henschen 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 503 KB

∏11-universality of some propositional l

✍ M.K. Valiev 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 686 KB