%0 Journal Article
%T 时态逼近关系及时态逻辑的扩充
%A 钟绍春？
%A 刘大有？
%J 软件学报
%P 119-127
%D 1996
%X 本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在ｓｈｏｈａｍ的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和（点对构成的）时间区间的时态逻辑（定性与定量相结合）．此外，还给出了在非确定性时态关系下用于描述命题类型的一些命题时态性质．
%K 不确定性时态关系
%K 命题时态性质
%K 时态逻辑
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19960208&flag=1