理学 程序正确性 释 temporal logic 时序逻辑 用于描述事件或动作之间的时序关系的逻辑。是一种对经典数理逻辑的扩展，其引入了表示时间的时态算子，以描述和推理有关时间限定的命题系统。它由新西兰学者A.N.普赖尔[注]（Authur Norman Prior，1914～1969）在20世纪60年代提出。
＞数理逻辑与数学基础＞数学基础＞释义 temporal logic 时态逻辑 temporal logic 时态逻辑†
人工智能 人工智能逻辑 释文 temporal logic 时态逻辑
- Bogota Conference
- Bogota Declaration
- Bogota Uprising
- Bogotá Consortium
- BOG process system
- BOG recondensation process
- Bog soil
- Bo Gu
- Boguslawski Wojciech
- Boguslawsky crater
- BOG回收
- BOG放散
- Bo Hai
- Bohai Bay basin
- Bohai bay fishing ground
- Bohai black cattle
- Bohai Haixia
- Bohai horse
- Bo hai kingdom
- Bohai Kingdom
- Bohai Lead Glaze Pottery
- Bohai Sea and Yellow Sea mixed water mass
- Bohai Wan
- Bohai Zhen
- Bo Han Jip