✦ LIBER ✦

Revising the Logic of Logical Revision

✍ Scribed by J. Salerno

Book ID: 110376126
Publisher: Springer Netherlands
Year: 2000
Tongue: English
Weight: 67 KB
Volume: 99
Category: Article
ISSN: 0031-8116
DOI: 10.1023/a:1018773127328

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The logic of Quinean revisability

✍ James Kennedy Chase 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 320 KB

The logic of logical revision formalizin

The logic of logical revision formalizing dummett's argument

✍ Cogburn, Jon 📂 Article 📅 2005 🏛 Taylor and Francis Group 🌐 English ⚖ 183 KB

The complexity of revising logic program

The complexity of revising logic programs

✍ Russell Greiner 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 237 KB

A rule-based program will return a set of answers to each query. An impure program, which includes the Prolog ut ``!'' and ``not@ÁA'' operators, can return dierent answers if its rules are re-ordered. There are also many reasoning systems that return only the ®rst answer found for each query; these

The logic of ‘being informed’ revisited

The logic of ‘being informed’ revisited and revised

✍ Patrick Allo 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 345 KB

Revising the logical foundations of indu

Revising the logical foundations of inductive logic programming systems with ground reduced programs

✍ Akihiro Yamamoto 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 443 KB

A Revision of the Fundamental Rules of C

A Revision of the Fundamental Rules of Combinatory Logic

✍ Haskell B. Curry 📂 Article 📅 1941 🏛 Association for Symbolic Logic 🌐 English ⚖ 758 KB