时间逻辑学的创立、历史及其研究意义

The Found,History and Study Significance of Temporal Logic

时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足。对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用。

Temporal logic is a branch of Philosophical logic ,which investigates the proposition and inference including time. On the basis of Classic logic,it introduces the tempoal operators riching common proposition logic ,overcomes the deficiency in which Classic logic can not describes or deal the events in time relation and Tempoal logic has some important theory significance and practical apply to both the study and development in Logic, ,Linguistics, Computer science and Artificial Intelligence.