Blok, W., Varieties of interior algebras, Ph.D. thesis, University of Amsterdam, 1976.
 Bull, R., An algebraic study on tense logics with linear time, this Journal, vol. 33 (1968), pp. 27–38.
 Burgess, J., Basic tense logic, Handbook of philosophical logic (Gabbay, D. and Guenthner, F., editors), vol. 2, Dordrecht, 1984.
 Doets, H., Completeness and definability, Ph.D. thesis, University of Amsterdam, 1987.
 Fine, K., Logics containing K4, Part I, this Journal, vol. 39 (1974), pp. 229–237.
 Fine, K., Logics containing K4, Part II, this Journal, vol. 50 (1985), pp. 619–651.
 Gabbay, D., Investigations in modal and tense logic with applications to problems in philosophy and linguistics, Dordrecht, 1976.
 Gabbay, D., Hodkinson, I., and Reynolds, M., Temporal logic, Oxford, 1994.
 Goldblatt, R., Metamathematics of modal logic, Reports on Mathematical Logic, vol. 6 (1976), pp. 41–77.
 Goldblatt, R., Logics of time and computation, CSLI Lecture Notes, Chicago, 1987.
 Goranko, V. and Passy, S., Using the universal modality, Journal of Logic and Computation, vol. 2 (1992), pp. 5–30.
 Jónsson, B., A survey of Boolean algebras with operators, manuscript.
 Kracht, M. and Wolter, F., Properties of independently axiomatizable bimodal logics, this Journal, vol. 56 (1991), pp. 1469–1485.
 Kracht, M. and Wolter, F., Normal modal logics can simulate all others, manuscript, 1994.
 Rybakov, V., A modal analog for Glivenko's theorem and its applications, Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 244–248.
 Segerberg, K., Modal logics with linear alternative relations, Theoria, vol. 36 (1970), pp. 301–322.
 Spaan, E., Complexity of modal logics, Ph.D. thesis, University of Amsterdam, 1993.
 van Benthem, J., The logic of time, Dordrecht, 1983.
 Wolter, F., Lattices of modal logics, Ph.D. thesis, Frei Universität Berlin, 1993.
 Wolter, F., Solution to a problem of Goranko and Passy, Journal of Logic and Computation, vol. 4 (1994), no. 1, pp. 21–22.
 Wolter, F., Decidability of tense logics, extended abstract, Bulletin of the Section Logic, vol. 24 (1995), pp. 46–51.
 Wolter, F., The finite model property in tense logic, this Journal, vol. 60 (1995), pp. 757–774.
 Wolter, F., Properties of tense logics, to appear in Mathematical Logic Quarterly, 1995.
 Wolter, F., A counterexample in tense logic, to appear in Notre Dame Journal of Formal Logic, 1996.
 Wolter, F., Tense logics without tense operators, Mathematical Logic Quarterly, vol. 42 (1996), pp. 145–171.
 Zakharyaschev, M., Canonical formulas for K4, Part I, this Journal, vol. 57 (1992), pp. 377–402.
 Zakharyaschev, M., Canonical formulas for K4, Part II, ITLI Prepublication Series X-93-06, 1993.