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

“…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. …”
Get full text

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

“…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. …”
Get full text