模糊时序逻辑论文

模糊时序命题逻辑系统的语义
论文摘要时序逻辑是一种特殊的模态逻辑,它不仅是程序语义描述的有力工具,而且在知识的形式表示方面表现出越来越多的优越性.但遗憾的是对于时序逻辑的研究多限于赋值为0和1的经典时序逻...