机译:具有函数的一阶时间逻辑的可判定情况
first-order temporal logic; monodic fragment; predicate logic with functions; decidability;
机译:具有函数的一阶时间逻辑的可判定情况
机译:具有函数的一阶时间逻辑的可判定情况
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:一阶线性时态逻辑可判定片段的计算复杂度
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:一阶谓词逻辑模型理论及相关时态逻辑