✦ LIBER ✦

On the Logic of Incomplete Answers

✍ Scribed by M. J. Cresswell

Book ID: 124963361
Publisher: Association for Symbolic Logic
Year: 1965
Tongue: English
Weight: 348 KB
Volume: 30
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2270583

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Incompleteness of Behavioral Logics

✍ Samuel Buss; Grigore Roşu 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 905 KB

Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not recursively enumerable, which means that there are no automatic methods for proving all true statements; in particular, be

On the Logic of Incomplete Answersby M.

On the Logic of Incomplete Answersby M. J. Cresswell

✍ Review by: Gerold Stahl 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 187 KB

The Logic of Questions and Answers

📂 Article 📅 1980 🏛 John Wiley and Sons ⚖ 141 KB

The logic of questions and answers

✍ Schmidt-Radefeldt, Jürgen; Todt, Günter 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 976 KB

The Logic of Question and Answer

📂 Article 📅 1943 🏛 Nature Publishing Group 🌐 English ⚖ 132 KB

An incomplete system of modal logic

✍ George Boolos; Giovanni Sambin 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 348 KB