Algebraic semantics for modal logics I

Journal of Symbolic Logic 31 (1):46-65 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270619

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,748

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

E. J. Lemmon. An extension algebra and the modal system T.Notre Dame Journal of formal logic, vol. 1 , pp. 3–12. - E. J. Lemmon. Algebraic semantics for modal logics.The journal of symbolic logic, vol. 31 , pp. 46–65; pp. 191–218. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (1):136-137.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
Lemmon E. J.. New foundations for Lewis modal systems.Naoto Yonemitsu - 1958 - Journal of Symbolic Logic 23 (3):346-347.
Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 34 (4):648-649.
Lemmon E. J.. A theory of attributes based on modal logic. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 95–122.Marcus Ruth Barcan. Classes and attributes in extended modal systems. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 123–136. [REVIEW]M. J. Cresswell - 1972 - Journal of Symbolic Logic 37 (1):180-181.
M. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 , pp. 250–264. - Iwao Nishimura. On formulas of one variable in intuitionistic propositional calculus. The journal of symbolic logic, vol. 25 No. 4 , pp. 327–331. - D. C. Makinson. There are infinitely many Diodorean modal functions. The journal of symbolic logic, vol. 31 , pp. 406–408. [REVIEW]A. N. Prior - 1967 - Journal of Symbolic Logic 32 (3):396-397.
E. J. Lemmon. Quantifiers and modal operators. Proceedings of the Aristotelian Society, vol. 58 , pp. 245–268.Arnould Bayart - 1966 - Journal of Symbolic Logic 31 (2):275-276.
Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300. [REVIEW]Lennart Aqvist & E. J. Lemmon - 1970 - Journal of Symbolic Logic 34 (4):648-649.
W. J. Blok. The lattice of modal logics: an algebraic investigation. The journal of symbolic logic, vol. 45 , pp. 221–236. - W. J. Blok. Pretahular varieties of modal algebras. Studio logica, vol. 39 , pp. 101–124.Johan van Benthem - 1984 - Journal of Symbolic Logic 49 (4):1419-1420.

Analytics

Added to PP
2009-01-28

Downloads
146 (#160,244)

6 months
14 (#213,080)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.

View all 49 citations / Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
Deontic logic and the logic of imperatives.Edward J. Lemmon - 1965 - Logique Et Analyse 8 (29):39-61.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.

View all 10 references / Add more references