𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Davis's formulation of Kripke's theory of truth: A correction

✍ Scribed by Allen Hazen

Publisher
Springer Netherlands
Year
1981
Tongue
English
Weight
116 KB
Volume
10
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A correction to the algorithm in reiter'
A correction to the algorithm in reiter's theory of diagnosis
✍ Russell Greiner; Barbara A. Smith; Ralph W. Wilkerson πŸ“‚ Article πŸ“… 1989 πŸ› Elsevier Science 🌐 English βš– 453 KB

Reiter [3] has developed a general theory of diagnosis based on first principles. His algorithm computes all diagnoses which explain the differences between the predicted and observed behavior of a given system. Unfortunately, Reiter's description of the algorithm is incorrect in that some diagnoses