Advertisement

Temporal Logic pp 213-227 | Cite as

Many-Valued Approaches to Temporal Logic

Chapter
  • 110 Downloads
Part of the LEP Library of Exact Philosophy book series (LEP, volume 3)

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.

Preview

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