Many-Valued Approaches to Temporal Logic

Abstract

All the tense logics we have dealt with so far have been two-valued in a fairly definite sense, that is, they are all based on the classical propositional calculus. In terms of model theory, this is reflected in the way we evaluate the propositional connectives ∼, ⊃, v, ≡ in tense structures — the truth-values of complex formulas built with these connectives are calculated at each moment in a tense-structure according to the classical, two-valued prescription.