理学 程序正确性 释 temporal logic 时序逻辑 用于描述事件或动作之间的时序关系的逻辑。是一种对经典数理逻辑的扩展，其引入了表示时间的时态算子，以描述和推理有关时间限定的命题系统。它由新西兰学者A.N.普赖尔[注]（Authur Norman Prior，1914～1969）在20世纪60年代提出。
＞数理逻辑与数学基础＞数学基础＞释义 temporal logic 时态逻辑 temporal logic 时态逻辑†
人工智能 人工智能逻辑 释文 temporal logic 时态逻辑
- crime of illegally selling invoices other than the ones specified in the other articles
- crime of illegally selling or giving away precious cultural relics to foreigners
- crime of illegally trading,transporting,carrying or possessing the seeds or seedlings of drug original plants
- crime of illegally transferring or scalping land-use right
- crime of illegal medical practice
- crime of illegal mining
- crime of illegal occupation of agricultural land
- crime of illegal possession of drugs
- crime of illegal production and sale of police equipment
- crime of illegal production, sale and transportation of precursor chemicals, smuggling drug making
- crime of Illegal purchase, transport deforestation and illegal felling of trees
- crime of illegal sale and private collection of cultural relics
- crime of illegal use of funds
- crime of illegal use of information network
- crime of illegal use of special equipment for eavesdropping and theft
- crime of impairing the management of credit card
- crime of impair testifying
- crime of impeding safe driving
- crime of impeding the administration of stimulants
- crime of impostor
- crime of inactively fighting
- crime of incitement of violence against law enforcement
- crime of incitement to racial discrimination and ethnic hatred
- crime of inciting soldiers to leave the army
- crime of inciting to split the state