###
DOI:
Journal of Software:1996.7(2):119-127

时态逼近关系及时态逻辑的扩充
钟绍春,刘大有
(吉林大学计算机系,吉林,130023)
TEMPORAL APPROACHING RELATIONS AND THE DEVELOPING OF TEMPORAL LOGIC
Zhong Shaochun,Liu Dayou
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3148   Download 2813
    Revised:January 09, 1995
> 中文摘要: 本文提出了时态逼近关系,并给出了命题不确定性时态关系的一种分类,在Shoham的时态逻辑基础上,对命题和一阶两种情况,提出了能描述不确定性时态关系,基于时间点和(点对构成的)时间区间的时态逻辑(定性与定量相结合).此外,还给出了在非确定性时态关系下用于描述命题类型的一些命题时态性质.
Abstract:In this paper, the authors propose a temporal approaching relation and give a sort of temporal relations of propositions, based on Shoham s temporal logic, they propose a temporal logic which can describe uncertainty relation and is based on time--point and time--interval in proposition and first order case. Finally, they give some properties of temporal proposition under uncertainty relations.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

钟绍春,刘大有.时态逼近关系及时态逻辑的扩充.软件学报,1996,7(2):119-127

Zhong Shaochun,Liu Dayou.TEMPORAL APPROACHING RELATIONS AND THE DEVELOPING OF TEMPORAL LOGIC.Journal of Software,1996,7(2):119-127