A theorem on the consistency of circumscription
From MaRDI portal
(Redirected from Publication:578934)
Recommendations
Cites work
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Circumscription - a form of non-monotonic reasoning
- Completeness results for circumscription
- On the satisfiability of circumscription
- Saturation, nonmonotonic reasoning and the closed-world assumption
- The mathematics of non-monotonic reasoning
Cited in
(15)- FDE circumscription
- Circumscription: Completeness reviewed
- scientific article; zbMATH DE number 4106292 (Why is no real title available?)
- scientific article; zbMATH DE number 4026858 (Why is no real title available?)
- A generalization of collapsible cases of circumscription
- The importance of open and recursive circumscription
- Autocircumscription
- An institution-independent proof of the Robinson consistency theorem
- On the satisfiability of circumscription
- An extension of pointwise circumscription
- Circumscription and implicit definability
- scientific article; zbMATH DE number 4164186 (Why is no real title available?)
- Abstract minimality and circumscription
- A consistency proof for some restrictions of Tait's reflection principles
- On the consistency of consistent conjectures
This page was built for publication: A theorem on the consistency of circumscription
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q578934)
