An open logic system
From MaRDI portal
Publication:2367852
zbMath0771.68097MaRDI QIDQ2367852
Publication date: 17 August 1993
Published in: Science in China. Series A (Search for Journal in Brave)
epistemic processrejection by factslimit of an epistemic processnew premisereconstruction of a hypothesis
Other nonclassical logic (03B60) Knowledge representation (68T30) Other applications of logic (03B80)
Related Items
A logical framework for knowledge base maintenance, R-calculus for ELP: An operational approach to knowledge base maintenance, Decidable subsets of open logic and an algorithm for R-calculus, The open logic and its relation to circumscription
