1. Models and ultraproducts, an introduction;Bell,1969
2. K. Fine Logics containing K4 I, J. Symbolic Logic, to appear.
3. K. Fine Compactness in modal logic, to appear.
4. R.I. Goldblatt First-order definability in modal logic, unpublished.
5. A.H. Lachlan A note on Thomason's refined structures for tense logic, Theoria, to appear.