Part of the Synthese Library book series (SYLI, volume 156)
- 152 Downloads
In this chapter the traditional temporal structures will be studied, consisting of points in time ordered by a relation of precedence (‘earlier’, ‘before’).
KeywordsTemporal Structure Atomic Formula Point Structure Axiomatic Theory Tense Logic
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.
Unable to display preview. Download preview PDF.
© D. Reidel Publishing Company, Dordrecht, Holland 1983