Conradie, Willem and Durhan, Salih and Sciavicco, Guido - An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)

lmcs:4532 - Logical Methods in Computer Science, June 19, 2018, Volume 14, Issue 2
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)

Authors: Conradie, Willem and Durhan, Salih and Sciavicco, Guido

There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals. A recent result by Balbiani, Goranko, and Sciavicco presented an explicit two-sorted point-interval temporal framework in which time instants (points) and time periods (intervals) are considered on a par, allowing the perspective to shift between these within the formal discourse. We consider here two-sorted first-order languages based on the same principle, and therefore including relations, as first studied by Reich, among others, between points, between intervals, and inter-sort. We give complete classifications of its sub-languages in terms of relative expressive power, thus determining how many, and which, are the intrinsically different extensions of two-sorted first-order logic with one or more such relations. This approach roots out the classical problem of whether or not points should be included in a interval-based semantics.


Source : oai:arXiv.org:1805.08425
DOI : 10.23638/LMCS-14(2:15)2018
Volume: Volume 14, Issue 2
Published on: June 19, 2018
Submitted on: May 23, 2018
Keywords: Computer Science - Logic in Computer Science,03B44,F.4.1,I.2.4


Versions

Version2

Share

Consultation statistics

This page has been seen 92 times.
This article's PDF has been downloaded 47 times.