A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Complete Proof System for First-order Interval Temporal Logic with Projection
2004
Journal of Logic and Computation
This paper presents an ω-complete proof system for the extension of first order Interval Temporal Logic (ITL, [12, 15, 4] ) by a projection operator [16, 11] . Alternative earlier approaches to the axiomatisation of projection in ITL are briefly presented and discussed. An extension of the proof system which is complete for the extension of Duration Calculus (DC , [24] ) by projection is also given.
doi:10.1093/logcom/14.2.215
fatcat:w72s6rzlyvgrxn3webbbmzgbxu