R-演算是非单调的Gentzen型演绎系统，是一种具体的信念修正算子，被证明满足AGM假设和DP假设。本书是为了扩展R演算（i）从一阶逻辑到命题逻辑，描述逻辑，模态逻辑和逻辑编程；（ii）从最小变化语义到子集最小变化，伪子公式最小变化和基于演绎的最小变化（最后两个最小变化是新定义的）；并针对这些极小值证明合理性和完整性定理。这些逻辑的变化。为了使R-演算可计算，我们在递归理论中给出了使用有限伤害优先级方法的近似R-演算。此外，R演算的两个应用被赋予了默认理论和语义继承网络。

《R-演算:一种信念修正的逻辑》目录参见目录图