Temporal Logic pp 117-124 | Cite as

Tense Logical Characterizability and Definability

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


We must consider in some detail the fundamental question: How much of temporal logic can be expressed in terms of tenses alone? We have already seen that some quite simple properties of temporal ordering cannot be so expressed, while certain apparently very complex properties — such as continuity — can be expressed in this way. To make a start at a general theory of tense-logical expressibility, we can adopt some of the outlook of classical model theory by trying to link up formulas with the tense-structures that they characterize.


Temporal Logic Classical Logic Tense Structure Tense Logic Related Formula 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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