A Complete Proof System for First-order Interval Temporal Logic with Projection

Authors:
Dimitar P. Guelev
Affiliations:
School of Computer Science, The University of Birmingham, UK. E-mail: D.P.Guelev@cs.bham.ac.uk
Venue:
Journal of Logic and Computation
Year:
2004

Citing 0
Cited 2

On the completeness and decidability of duration calculus with iteration

Theoretical Computer Science
A theory of duration calculus with application

Domain modeling and the duration calculus

Quantified Score

Hi-index	0.00

Visualization

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.