✦ LIBER ✦

Another incompleteness result for Hoare's logic

✍ Scribed by Jan A. Bergstra; Anna Chmielinska; Jerzy Tiuryn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness and incompleteness for plau

✍ Karl Schlechta 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 920 KB

Hoare's logic for programming languages

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 620 KB

An incompleteness result for paths throu

✍ Albert Visser 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 305 KB

A generalization of Owicki-Gries's Hoare

✍ Colin Stirling 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 831 KB

Modal Logic for Other-World Agnostics: N

✍ Lloyd Humberstone 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 480 KB

Another impossibility result for normal

✍ Antonio Quesada 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 123 KB