时态逼近关系及时态逻辑的扩充

本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在ｓｈｏｈａｍ的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和（点对构成的）时间区间的时态逻辑（定性与定量相结合）．此外，还给出了在非确定性时态关系下用于描述命题类型的一些命题时态性质．