An open logic system

MaRDI QIDQ2367852zbMATH OpenFDO

Authors Wei Li

Publication date 17 August 1993

Published in Science in China. Series A (Search for Journal in Brave)

zbMATH Keywords

epistemic processrejection by factslimit of an epistemic processnew premisereconstruction of a hypothesis

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Other applications of logic (03B80)

Recommendations

• On the decidability of open logic
• The open logic and its relation to circumscription
• scientific article; zbMATH DE number 679685

Cited in

(7)

• A logical framework for knowledge base maintenance
• The open logic and its relation to circumscription
• \(R\)-reconstruction in open logic
• scientific article; zbMATH DE number 713479 (Why is no real title available?)
• Decidable subsets of open logic and an algorithm for R-calculus
• scientific article; zbMATH DE number 679685 (Why is no real title available?)
• R-calculus for ELP: An operational approach to knowledge base maintenance

This page was built for publication: An open logic system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2367852)