线性序中点和区间的一阶综合理论（第一部分）
摘要：点基和区间基是时间本体和推理的两种自然且经过充分研究的方法。通常，区间基的时间推理处理点作为没有持续时间的区间的一种特殊情况。Balbiani、Goranko和Sciavicco最近提出了一个明确的两种类型的点-区间时间框架，其中时间瞬间（点）和时间段（区间）被等同对待，允许在形式化语境中在这两种之间转换。我们在这里考虑基于相同原则的两种类型的一阶语言，因此包括点之间的关系（首次由Reich等人进行研究）、区间之间的关系和排序之间的关系。我们以相对表达力的方式给出其子语言的完全分类，从而确定了有多少种以及哪些是具有这样的关系的两种类型的一阶逻辑的本质上不同的扩展。这种方法解决了是否应该在基于区间的语义中包含点的经典问题。
作者：Willem Conradie, Salih Durhan, Guido Sciavicco
论文ID：1805.08425
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22