理学 程序正确性 释 temporal logic 时序逻辑 用于描述事件或动作之间的时序关系的逻辑。是一种对经典数理逻辑的扩展，其引入了表示时间的时态算子，以描述和推理有关时间限定的命题系统。它由新西兰学者A.N.普赖尔[注]（Authur Norman Prior，1914～1969）在20世纪60年代提出。
＞数理逻辑与数学基础＞数学基础＞释义 temporal logic 时态逻辑 temporal logic 时态逻辑†
人工智能 人工智能逻辑 释文 temporal logic 时态逻辑
- Research on Chinese Language Teaching
- research on Chinese modern music theory
- Research on Chinese Poetical Art
- Research on Chinese Primitive Sculpture
- research on economics of vocational education
- research on film and television sound production workflow
- research on film & TV sound recording technology
- Research on Grottoes in China
- Research on Guan Zhong's economic thought
- Research on History of Chinese Language
- Research on Jian Ware
- Research on Khitan Small Script
- Research on Legal Issues in the Utilization of Archival Information
- research on logical rationality of policy
- research on natural active ingredient
- research on organizational conflict
- research on organizational crisis
- research on organizational culture
- research on organizational identity
- Research on Pricing Mechanism of Natural Monopoly Industry Regulation
- Research on Social Work Practice
- Research on Song Dynasty Archives Management
- research on the audience
- research on the development of animal husbandry in modern China
- Research on the Drama of Yuan Dynasty