A propositional modal logic of time intervals

Abstract

: In certain areas of artificial intelligence there is need to represent continuouschange and to make statements that are interpreted with respect to timeintervals rather than time points. To this end we develop a modal temporal logicbased on time intervals, a logic which can be viewed as a generalization of pointbasedmodal temporal logic. We discuss related logics, give an intuitive presentationof the new logic, and define its formal syntax and semantics. We make no assumptionabout the...