A. H. Lachlan. A note on Thomason's refined structures for tense logics. Theoria, vol. 40(1974), pp. 117–120. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Ranger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - R. I. Goldblatt and S. K. Thomason. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173. - R. I. Goldblatt. First-order definability in modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 35–40. - J. F. A. K. van Benthem. A note on modal formulae and relational properties. The journal of symbolic logic, vol. 40 (1975), pp. 55–58. - S. K. Thomason. Categories of frames for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 439–442. - R. I. Goldblatt. Metamathematics of modal logic. Part I. Reports on mathematical logic, vol. 6 (1976), pp. 41–77. - R. I. Goldblatt. Metamathematics of modal logic. Part II. Reports on mathematical logic, vol. 7 (1976), pp. 21–52. - J. F. A. K. van Benthem. Modal formulas are either elementary or not Σ⊿-elementary. The journal of symbolic logic, vol. 41 (1976), pp. 436–438. - J. F. A. K. van Benthem. Canonical modal logics and ultrafilter extensions. The journal of symbolic logic, vol. 44 (1979), pp. 1–8.