线性序中点和区间的一阶综合理论 (第二部分)
摘要：两类常见的时间本体论和推理方法是基于点和基于区间的方法。通常，基于区间的时间推理将点视为无持续时间区间的特例。最近Balbiani，Goranko和Sciavicco的研究结果提出了一个明确的两类点-区间时间框架，其中时间瞬间（点）和时间段（区间）被同等地考虑，允许在形式话语中在这两者之间转换。我们在这里考虑了基于相同原则的两类一阶语言，因此包括了由Reich等人首先研究的点之间、区间之间和不同类别之间的关系。我们对其子语言的相对表达能力进行了完全分类，从而确定了两类一阶逻辑的不同扩展有多少个以及哪些扩展是内在不同的。这种方法解决了经典问题，即是否应将点包含在基于区间的语义中。在这第二部分中，我们研究了所有稠密和所有无边界线性有序集合的情况。
作者：Willem Conradie, Salih Durhan and Guido Sciavicco
论文ID：1809.04468
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22