A. Galton Department of Computer Science, University of Exeter, ExeterEX4 4PT, UK
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.
Part of the OUP Journal of Logic and Computation WWW service
Click here to register with OUP.
This page is maintained by OUP admin
Last updated 29 Mar 96
Part of the OUP Journals World Wide Web service.
Copyright Oxford University Press, 1996