An interval-based temporal logic in a multivalued setting

Abstract

We describe the embedding of the semantic notions and modal operators of a first-order temporal logic based on time intervals in a multivalued setting. Truth values will be realized as functions from time intervals to "ordinary" truth values like t and f. The main emphasis lies on the realization of the various modal operators contained in the temporal logic as operations on the functional truth values. We show that it is possible to obtain an efficient system sufficient for tasks in the area of diagnostic reasoning.