Abstract
The Priorean research program has blossomed into a whole logical discipline; its slightly shaky motivation notwithstanding.1 The enterprise is described in various textbooks already; whence a new introduction is not intended here. This chapter will rather contain a presentation stressing the general lay-out and spirit of the subject, providing a perspective upon contemporary technical research. As these considerations are not restricted to this special field, here is a sketch of the underlying view of logic in general.
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.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
van Benthem, J. (1991). Instant Tense Logic. In: The Logic of Time. Synthese Library, vol 156. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-7947-6_7
Download citation
DOI: https://doi.org/10.1007/978-94-015-7947-6_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4082-4
Online ISBN: 978-94-015-7947-6
eBook Packages: Springer Book Archive