Lachlan A. H.. A note on Thomason's refined structures for tense logics. Theoria, vol. 40(1974), pp. 117–120.Fine Kit. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Ranger Stig, 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.Goldblatt R. I. and Thomason S. K.. 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 Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173.Goldblatt R. I.. First-order definability in modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 35–40.van Benthem J. F. A. K.. A note on modal formulae and relational properties. The journal of symbolic logic, vol. 40 (1975), pp. 55–58.Thomason S. K.. Categories of frames for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 439–442.Goldblatt R. I.. Metamathematics of modal logic. Part I. Reports on mathematical logic, vol. 6 (1976), pp. 41–77.Goldblatt R. I.. Metamathematics of modal logic. Part II. Reports on mathematical logic, vol. 7 (1976), pp. 21–52.van Benthem J. F. A. K.. Modal formulas are either elementary or not Σ⊿-elementary. The journal of symbolic logic, vol. 41 (1976), pp. 436–438.van Benthem J. F. A. K.. Canonical modal logics and ultrafilter extensions. The journal of symbolic logic, vol. 44 (1979), pp. 1–8.

Bull, Robert A.

发现好书期刊，享受阅读乐趣