一种新的基于间断区间的时态形式系统  

作　　者：聂文龙[1] 严小区[1] 

机构地区：[1]广西师范大学数学系

出　　处：《软件学报》1997年第A00期198-201,共4页Journal of Software

摘　　要：本文给出了一种新的形式系统ＧＴＬ，并证明了ＧＴＬ的完备性。

关 键 词：时态逻辑 时态推理 时态形式系统 人工智能 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]