Volume 6: January - December 1996

Issue 1: 1996


Note on a lemma of Ladkin

  • Note on a lemma of Ladkin
  • A. Galton Department of Computer Science, University of Exeter, Exeter EX4 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.

    Pages: 3 - 6

    Part of the OUP Journal of Logic and Computation WWW service

    General Information

    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