Volume 6: January - December 1996

Issue 2: April 1996

Abstract


An investigation of 'non-intermingling' principles in temporal logic

  • An investigation of 'non-intermingling' principles in temporal logic
  • A. Galton Department of Computer Science, University of Exeter, Exeter EX4 4PT, UK

    ABSTRACT

    In formalizing temporal reasoning, should a proposition be allowed to change its truth value infinitely often over a finite period of time? It has been widely felt that for many types of proposition this phenomenon, which following Hamblin we call 'intermingling', should be outlawed. In this paper we systematically examine the varieties of intermingling, distinguishing intermingling over an interval from intermingling at an instant. We survey the axioms that have been proposed in the literature to rule out intermingling, and determine precisely which varieties of intermingling are ruled out by which axioms. We distinguish 'weak' non-intermingling principles, which only rule out one or two forms of intermingling, from 'strong' non-intermingling principles which rule out all or most forms of intermingling. We show that none of the first-order solutions in the literature suffices to rule out all forms of intermingling though a second-order solution can do so.

    Keywords: Temporal logic, intermingling, fuzz, clustered variation.

    Pages: 271 - 294

    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 15 Jul 96

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1996