Instant Tense Logic
- 156 Downloads
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.
KeywordsPredicate Logic Point Structure Completeness Theorem Correspondence Theory Temporal Successor
Unable to display preview. Download preview PDF.