Abstract
A particularly illuminating view of temporal logic is obtained by approaching it as a special case of a generic logic of positions. The purpose of this chapter is to present a very versatile family of logical systems of positional or topological logic. These systems are to have a very general nature, capable of reflecting the characteristics of a wide range of logical systems, including not only temporal logic, but also what may be called a locative or place logic, and even a logic of “possible worlds”.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
This observation is based on an idea developed by Alan Rose in his paper: Eight-Valued Geometry, in: Proceedings of the London Mathematical Society, vol. 3 (1952), pp. 30–44.
This chapter is a slightly altered (and abbreviated) version of a paper of the same title by N. Rescher and J. Garson, originally published in The Journal of Symbolic Logic, vol. 33 (1968), pp. 537–548.
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). Topological Logic. In: Temporal Logic. LEP Library of Exact Philosophy, vol 3. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7664-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7664-1_2
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-7666-5
Online ISBN: 978-3-7091-7664-1
eBook Packages: Springer Book Archive