Abstract
We have already had occasion to consider whether certain conditions on the U-relation are or are not expressible in terms of tense operators alone. For example, we have seen in the context of the completeness proof for K t , that irreflexivity of U is not so expressible1. We shall now present some further results along these lines, using a calculus of “world states” which gives some hope that the R-calculi can be developed within pure tense calculi.
Keywords
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
For a presentation of Meredith’s findings, see A. N. Prior, Past, Present and Future (Oxford, 1967 ), pp. 77–79.
Compare the opening sentences of L. Wittgenstein’s Tractatus Logico Philosophicus (London, 1922).
For details, see Prior, op. cit., pp. 88–92, 187–197, and Paper XI in: Prior, Papers on Time and Tense (Oxford, 1968 ).
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). The Logic of World States. In: Temporal Logic. LEP Library of Exact Philosophy, vol 3. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7664-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7664-1_15
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-7666-5
Online ISBN: 978-3-7091-7664-1
eBook Packages: Springer Book Archive