Temporal Logic pp 213-227 | Cite as

Many-Valued Approaches to Temporal Logic

Part of the LEP Library of Exact Philosophy book series (LEP, volume 3)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1971

Authors and Affiliations

  1. 1.PittsburghUSA

Personalised recommendations