Wo lter[ 29 ]等人(2002) 构造了一阶时空逻辑(FO ST ) , 并指出在基于无限时间流的拓扑时态模型中, 由于时态操作符和作用于区域变量上的量词导致FO ST 的可满足问题是不可判定的, 他...
基于1个网页-相关网页
构造了一阶时空逻辑
The first order space-time logic is constructed
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动