Basic Tense Systems

  • Dov M. Gabbay
Part of the Synthese Library book series (SYLI, volume 92)


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.

Unable to display preview. Download preview PDF.

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1976

Authors and Affiliations

  • Dov M. Gabbay

There are no affiliations available

Personalised recommendations