1. Gabbay, D.: 1977, ‘Tense system with split truth tables,’ Logique et Analyse 80, 1–39.
2. Gabbay, D.: 1979, ‘The separation theorem for tense logic,’ submitted to the Journal of Philosophical Logic. (This is part 2 of the present paper.)
3. Gabbay, D., Pnuelli, A., Shelah, S. & J. Stavi: 1979, ‘On the temporal analysis of fairness,’ to appear in JACM.
4. Gabbay, D. & F. Guenthner: 1979, Many-Dimensional Tense Systems. (unpubl.).
5. Gabbay, D. & C. Rohrer: 1979, ‘Do we really need tenses other than future and past?’ in: R. Bäuerle et al. (eds.) Semantics from Different Points of View Springer, Berlin, 15–20.