1. [1] van Benthem, J. F. A. K., "Tense logic and standard logic", Logique et Analyse. Nouvelle Série, vol. 80 (1977), pp. 395--437.
2. [4] Crossley, J. N., and L. Humberstone, "The logic of `actually'", Reports on Mathematical Logic, vol. 8 (1977), pp. 11--29.
3. [7] Gabbay, D. M., "Model theory for tense logics", Annals of Mathematical Logic, vol. 8 (1975), pp. 185--236.
4. [8] Hazen, A., "Expressive completeness in modal language", Journal of Philosophical Logic, vol. 5 (1976), pp. 25--46.
5. [9] Hazen, A., "The eliminability of the actuality operator in propositional modal logic", Notre Dame Journal of Formal Logic, vol. 19 (1978), pp. 617--22.