可解释性逻辑-一流百科

可解释性逻辑

可解释性逻辑可解释性逻辑包括一个模态逻辑系列，它扩展了可证明性逻辑以描述可解释性或各种相关的元数学属性和关系，如弱可解释性、Π1-保守性、可解释性、容...