理学 程序正确性 释 temporal logic 时序逻辑 用于描述事件或动作之间的时序关系的逻辑。是一种对经典数理逻辑的扩展，其引入了表示时间的时态算子，以描述和推理有关时间限定的命题系统。它由新西兰学者A.N.普赖尔[注]（Authur Norman Prior，1914～1969）在20世纪60年代提出。
＞数理逻辑与数学基础＞数学基础＞释义 temporal logic 时态逻辑 temporal logic 时态逻辑†
人工智能 人工智能逻辑 释文 temporal logic 时态逻辑
- protection of teacher's rights and interests
- protection of timber structure
- protection of wage claim
- protection of water source
- protection of women
- protection of women's rights and interests
- protection-oriented government function model
- protection planning of cultural relics and monuments in submerged and relocated area of Yangtze three gorges project
- protection range of water conservancy project
- protection recovery
- Protection Regulation of the Great Wall
- protection relay
- protection scope of cultural relics protection sites
- protection scope of patent
- protection system of the basic grassland
- protection technology
- protection term of copyright
- protection wall/facing wall in the shape of windows
- protection work of channel bank
- protection zoning of scenic regions
- protective brokers
- protective circuit for thyristor
- protective clause of long-term loans
- protective clothing
- protective clothing for medical use