Fixed points(Mathematics) ; Theorems;
机译:可证明逻辑和可解释逻辑中的双仿真和模态等价的注记
机译:关于可证明逻辑和可解释逻辑中的双仿真和模态对等的注记
机译:可证明逻辑相对于PEANO算术的固定扩展
机译:模态逻辑;认知逻辑;动态认知逻辑;解释系统;知识和变革
机译:单子直觉和模态逻辑承认可证明性
机译:基于连续值逻辑和多标准决策操作员的医疗推荐系统使用可解释的神经网络
机译:具有限制性的可证明和可解释性逻辑
机译:用逆向解释命题动态逻辑中的知识逻辑