Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1971 Springer-Verlag/Wien
About this chapter
Cite this chapter
Rescher, N., Urquhart, A. (1971). Tense Logical Characterizability and Definability. In: Temporal Logic. LEP Library of Exact Philosophy, vol 3. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7664-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7664-1_11
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-7666-5
Online ISBN: 978-3-7091-7664-1
eBook Packages: Springer Book Archive