Abstract
The first attempts to create a tense logic are the investigations of A. N. Prior published in [Pri57, Pri67]. Temporal logics are modal logics whose modal operations are determined by two relations on a set of time points expressing earlier-later or past-future relationships between instants of time. The relations are ordering relations possibly satisfying various axioms such as strict ordering, linear ordering, branching time, ordering with or without endpoints, discrete, etc. If P is a relation such that holding of tPt′ is interpreted as t precedes t′, then the modal operator ⟨P⟩ means ‘it will at some time be the case that’ and [P] is interpreted as ‘it will always be the case that’. Similarly, if F is a relation such that tFt′ means t follows t′, then ⟨F⟩ says ‘it has at some time been the case that’ and [F] is intuitively interpreted as ‘it has always been the case that’.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Orłowska, E., Golińska-Pilarek, J. (2011). Dual Tableaux for Temporal Logics. In: Dual Tableaux: Foundations, Methodology, Case Studies. Trends in Logic, vol 33. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0005-5_16
Download citation
DOI: https://doi.org/10.1007/978-94-007-0005-5_16
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-0004-8
Online ISBN: 978-94-007-0005-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)