...时序逻辑是一种特殊的模态逻辑，它在计算机科学中有广泛的应用．MPTL是一个时序逻辑系统， 是由曼纳（Manna）和普努力（Pnueli）提出的（见文Eli）．MPTL中使用的模态词有口（将永远……
基于8个网页-相关网页
Amir Pnueli 伯努利
应用推荐
模块上移
模块下移
不移动