基于OBDD的Iteration-free CPDL判定算法研究  

作　　者：邓刚[1] 

机构地区：[1]湖北工业大学

出　　处：《湖北农机化》2011年第4期59-59,共1页

摘　　要：命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。PDL不但用于程序形式化描述和推理,而且还能够提供合适的形式框架对动作进行刻画和推理,可用其进行web服务组合。

关 键 词：命题 动态逻辑 研究 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]