Abstract
This paper presents an ω-complete proof system for the extension of first-order Interval Temporal Logic (ITL) by a projection operator. 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) by projection is also given.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have