知识蕴涵时态逻辑系统

摘要：

在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制.根据给出的形式语义,可以证明该系统的可靠性和完全性.

关键词：知识蕴涵、时态、可靠性、完全性、逻辑

所属期刊栏目：33

分类号：B81(逻辑学(论理学))

在线出版日期：2010-01-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：30-34