This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
DUGUNDJI, J. Note on a property of matrices for Lewis and Langford's calculi of propositions, J. Symbolic Logic 5, 1940, 150ff.
FINE, K An incomplete logic containing S4, Theoria 40, 1974, 23–29.
HUGHES, G.E. and M.J. CRESSWELL An Introduction to Modal Logic, Methuen, London, 1968.
KRIPKE, S.A. Semantic analysis of modal logic I, normal propositional calculi, Zeits. f. math. Logik u. Grundl. d. Math. 9, 1963, 67–96.
KRIPKE, S.A. Semantic analysis of modal logic II, non-normal modal propositional calculi, The Theory of Models (ed. J.W. Addison, L. Henkin, A. Tarski), North-Holland, Amsterdam, 1965, 206–220.
LEMMON, E.J. and D.S. SCOTT Intensional Logic, preliminary draft of initial chapters by E.J. Lemmon, July 1966 (mimeographed).
McKINSEY, J.C.C. A solution of the decision problem for the Lewis systems S2 and S4 with an application to topology, J. Symbolic Logic 6, 1941, 117–134.
MAKINSON, D.C. On some completeness theorems in modal logic, Zeits. f. math. Logik u. Grundl. d. Math. 12, 1966, 379–384.
MAKINSON, D.C. A normal modal calculus between T and S4 without the finite model property, J. Symbolic Logic 34, 1969, 35–38.
SEGERBERG, K. Decidability of S4.1, Theoria 34, 1968, 7–20.
SEGERBERG, K. An essay in classical modal logic, Fisosofiska Studier, Uppsala University, 1971.
THOMASON, S.K. An incompleteness theorem in modal logic. Theoria 40, 1974, 30–34.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Cresswell, M.J. (1975). Frames and models in modal logic. In: Crossley, J.N. (eds) Algebra and Logic. Lecture Notes in Mathematics, vol 450. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0062851
Download citation
DOI: https://doi.org/10.1007/BFb0062851
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07152-5
Online ISBN: 978-3-540-37480-0
eBook Packages: Springer Book Archive