理学 程序正确性 释 temporal logic 时序逻辑 用于描述事件或动作之间的时序关系的逻辑。是一种对经典数理逻辑的扩展，其引入了表示时间的时态算子，以描述和推理有关时间限定的命题系统。它由新西兰学者A.N.普赖尔[注]（Authur Norman Prior，1914～1969）在20世纪60年代提出。
＞数理逻辑与数学基础＞数学基础＞释义 temporal logic 时态逻辑 temporal logic 时态逻辑†
人工智能 人工智能逻辑 释文 temporal logic 时态逻辑
- radio-release determination
- radio report using natural sound and actuality
- radioresistance
- radioresistant
- radio-resistant microorganism
- radio resonance separation
- radio resource management
- radio resource manage tester
- Radio Romania
- Radio Rossii
- Radio Sawa
- Radio Scintillation
- radio scintillation
- radioscope
- radioscopy
- radio seeker
- radiosensitive
- radiosensitivity
- radio-sensitivity of bacteria
- radiosensitization
- radiosensitizer
- radio sextant
- radio short news story
- radio signals from the epoch of reionization
- radiosity method