...：一种是线性时序逻辑（LinearTime Logic， LTL），它把时间看成是一个线性序列；另一种是分支时序逻辑（Computing Time Logic， CTL）它认为同一个时间有多种可能的将来。
基于1个网页-相关网页
另一种是分支时序逻辑
Another type is branch temporal logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动