Basic Tense Systems
The language we are concerned with in this chapter is TBC, containing all the classical connectives and quantifyers and two unary operators; GA, reading: ‘A will always be true’ and HA, reading: ‘A has always been true’. Using the other connectives we can express ‘A will sometimes be true’ by ~ G ~ A and ‘A has sometime been true’ by ~ H ~ A.
Unable to display preview. Download preview PDF.