nonmonotonic reasoning; process algebra; antisequent calculus; axiomatic system; axiomatization; credulous default inference; credulous reasoning; default reasoning; nonmonotonic inference rule; propositional default logic; reduction rule; credulous inference; default logics; sequent calculus;
机译:谓词默认逻辑和其他非单调逻辑中的怀疑推理的后续计算
机译:严格可信的默认推理的复杂性结果
机译:拓扑逻辑的多标签顺序演算
机译:使用序列微积分的默认逻辑中轻信推理的公理化
机译:后续微积分:计算和对偶的逻辑和语言
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:通过树后续微积分对友谊的认知逻辑进行公理化