✦ LIBER ✦

Expressiveness and the completeness of Hoare's logic

✍ Scribed by J.A. Bergstra; J.V. Tucker

Publisher: Elsevier Science
Year: 1982
Tongue: English
Weight: 984 KB
Volume: 25
Category: Article
ISSN: 0022-0000
DOI: 10.1016/0022-0000(82)90013-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Completeness of Free Logic

✍ B. C. van Fraassen 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 972 KB

Extensions of Makinson's Completeness Th

Extensions of Makinson's Completeness Theorems in Modal Logic

✍ R. Routley 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 890 KB

The Semantic Completeness of a Global In

The Semantic Completeness of a Global Intuitionistic Logic

✍ Hiroshi Aoyama 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 433 KB

In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar system

The Strong Completeness of a System for

The Strong Completeness of a System for Kleene's Three-Valued Logic

✍ John T. Kearns 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 440 KB 👁 1 views

A generalization of Owicki-Gries's Hoare

A generalization of Owicki-Gries's Hoare logic for a concurrent while language

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

Strong Completeness of a Pure Free Logic

✍ Ermanno Bencivenga 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 251 KB