理学 程序正确性 释 temporal logic 时序逻辑 用于描述事件或动作之间的时序关系的逻辑。是一种对经典数理逻辑的扩展，其引入了表示时间的时态算子，以描述和推理有关时间限定的命题系统。它由新西兰学者A.N.普赖尔[注]（Authur Norman Prior，1914～1969）在20世纪60年代提出。
＞数理逻辑与数学基础＞数学基础＞释义 temporal logic 时态逻辑 temporal logic 时态逻辑†
人工智能 人工智能逻辑 释文 temporal logic 时态逻辑
- The Mysteries of Udolpho
- The Mystery of Picasso
- The Mystic Nine
- the myth about Queen Mother of the West
- The Mythical Stories of Bamboo Slips in Fangmatan
- The Myth of Sisyphus
- the myth of sovereign series
- The Nagasaki Shap News
- The Nagoya Protocol on Access to Genetic Resources and the Fair and Equitable Sharing of Benefits arising from Its Utilization
- The Nairobi Forward-Looking Strategies for the Advancement of Women to the Year 2000
- The Naked Year
- the names of God
- then and only then
- The Nanke Dream
- the Nanping Poets'Club
- the Nanyuan Poets’Club
- the narrative structure of repetition for three times
- The Narrow Road to the Interior
- The nation
- The National 12th Five-year Strategic Plan for Public Library Development
- The National 13th Five-year Strategic Plan for Public Library Development
- The National 9/11 Memorial & Museum
- The National Advisory Committee of Higher Grassland Science Education in Ministry of Education
- The national anti Japanese War magazine
- The National Archives of Scotland