...
机译:经验证的模态逻辑决策程序
Formal MethodsInteractive Theorem ProvingModal LogicLean;
机译:直觉模态逻辑的树后计算和决策程序
机译:关系双表格决策程序及其在模态和直觉逻辑中的应用
机译:基于Tableau的具有绑定,逆向和全局模态的混合逻辑表达片段的决策程序
机译:一阶L-谓词非单调逻辑的二阶逻辑和Z模态逻辑表示命题情况的决策程序
机译:一种综合用于过程验证的操作过程逻辑模型的方法。
机译:通过多标准决策程序评估慢性疼痛治疗的治疗方式
机译:从命题决策程序建立模态逻辑的决策程序:模态K(m)的案例研究