Hostname: page-component-8448b6f56d-cfpbc Total loading time: 0 Render date: 2024-04-18T04:10:57.262Z Has data issue: false hasContentIssue false

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.

Published online by Cambridge University Press:  12 March 2014

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Reviews
Copyright
Copyright © Association for Symbolic Logic 1982

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)