Journal of Logic and Computation , Volume 6 (1), February 1996, pages 1-4. Oxford University Press, ISBN 0955-792X.
Abstract Allen and Hayes proposed five axioms for the logic of temporal intervals; Ladkin claimed that the fifth axiom was a consequence of the first three. The purpose of this short note is to show that this is not in fact the case, thus vindicating Allen and Hayes. We conclude with a discussion of what light this demonstration throws on the role played by the fifth axiom.
Further developments A response by Peter Ladkin.