1. J. van Benthem, The Logic of Time: a model-theoretic investigation into the varieties of temporal ontology and temporal discourse: second edition, Dordrecht, Kluwer Academic Publishers, 1991.
2. J. Halpern and Y. Moses, A guide to the modal logics of knowledge and belief: Preliminary report, Proceedings of the 9th International Joint Conference on Artificial Intelligence,1985, pp. 480–490, revised version to appear in Artificial Intelligence.
3. J. Halpern and M. Vardi, The complexity of reasoning about knowledge and time, I: Lower Bounds, J. Comput. System Sci., 38, 1989, pp. 195–237.
4. R. Ladner, The computational complexity of provability in systems of modal propositional logic, SIAM J. Comput., 6, 1977, pp. 467–480.
5. H. Ono and A. Nakamura, On the size of refutation Kripke models for some linear modal and tense logics, Studia Logica, 39, 1980, pp. 325–333.