机译:基于不确定度量时态逻辑的逻辑可判定性
Stit; Logic of agency; Epistemic logic; Kripke structure; Filtration; Bisimulation; Finite frame property;
机译:基于不确定度量时态逻辑的逻辑可判定性
机译:可确定的度量逻辑
机译:有限词度量时间逻辑的可判定性和复杂性
机译:使用可确定的基于时间间隔的时间逻辑分析临床实践指南
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:使用模糊逻辑技术确定基于断言的软件测试指标
机译:紧张逻辑的完整性和可判定性与K4以上的逻辑密切相关
机译:不确定信号状态的验证逻辑表示