机译:包含“实际”算子的某些命题模态逻辑的完备性和可判定性结果
Trinity College;
modal logic; possible worlds semantics; “actually” operators; rigidifiers;
机译:命题,动作和伴随模态算符的直觉逻辑的代数,证明理论和应用
机译:命题,动作和伴随模态逻辑的代数,证明理论及其应用
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:带有公理□_Φ↔◇_Φ的命题模态逻辑与命题逻辑之间的对应关系
机译:模特量化和模态逻辑的比较
机译:基于连续值逻辑和多标准决策操作员的医疗推荐系统使用可解释的神经网络
机译:命题模糊逻辑:对于某些(代数)算子可确定;无法确定更复杂的
机译:正态模态命题逻辑的后续计算