摘要
定义了间断区间时态逻辑中的一些基本概念：真值联结、公理、分离原则、证明、定律．这些概念与传统逻辑中相应的概念有较大的差异．
Some basic conceptions on interval-gap-based temporal logic:connections of true value,axioms,resolution,proof,theorems are defined.These conceptions in temporal logic are quite different from those in traditional logic.
出处
《广西师范大学学报（自然科学版）》
CAS
1995年第3期7-10,共4页
Journal of Guangxi Normal University:Natural Science Edition
基金
国家863计划资助
国家自然科学基金
关键词
时态逻辑
时态推理
分离原则
数理逻辑
Temporal logic
temporal reasoning
proof
axioms
resolution
