理学 程序正确性 释 temporal logic 时序逻辑 用于描述事件或动作之间的时序关系的逻辑。是一种对经典数理逻辑的扩展，其引入了表示时间的时态算子，以描述和推理有关时间限定的命题系统。它由新西兰学者A.N.普赖尔[注]（Authur Norman Prior，1914～1969）在20世纪60年代提出。
＞数理逻辑与数学基础＞数学基础＞释义 temporal logic 时态逻辑 temporal logic 时态逻辑†
人工智能 人工智能逻辑 释文 temporal logic 时态逻辑
- Three Monks
- Three Mountains in Jingkou by Zhang Yin
- Three Mountains in Zhenjiang River
- Three Nanxi Plays from the Yongle Encyclopedia
- three n-j symbols
- three-n-j symbols
- three Noble Truths
- Three-North Shelterbelt Program
- Three-north shelterbelt program
- Three Notes of ShiJi
- Three Novels by Yang
- three-old-men comic talk
- three olds renewal of Guangzhou
- three on three basketball
- three-opening dramatic stage in Yu County
- Three Opera Sages
- Three Pagodas of Chongsheng Temple in Dali
- Three Parallel Rivers of Yunnan Protected Areas World Natural Heritage
- Three Parallel Rivers Scenic and Historic Area
- three-parameter
- three-parameter family
- three parameter logistic model
- three-parameter logistic model
- Three Partitions of Poland
- three parts of the body(the upper ,middle,lower)