Skip to main content Skip to main navigation


An Interval-based Temporal Logic in a Multivalued Setting

Mathias Bauer
DFKI, DFKI Research Reports (RR), Vol. 92-10, 1992.


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.