时态信息表示相关硕士博士期刊学术论文

一般，用逻辑形式表示时态信息的方法是命题附加一个时间或时间区间。文１指出，时间区间表示单个事件带间断区间是困难的。不达，文１定义两......