Algebraic semantics for modal logics II

Journal of Symbolic Logic 31 (2):191-218 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269810

Other Versions

No versions found

Links

PhilArchive

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 I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
Lemmon E. J.. New foundations for Lewis modal systems.Naoto Yonemitsu - 1958 - Journal of Symbolic Logic 23 (3):346-347.
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.
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.
E. J. Lemmon. Symposium: Is there only one correct system of modal logic? I.Aristotelian Society supplementary volume XXXIII, London1959, pp. 23–40. - G. P. Henderson. Is there only one correct system of modal logic? II. Aristotelian Society supplementary volume XXXIII, London1959, pp. 41–56. [REVIEW]E. J. Lemmon & G. P. Henderson - 1969 - Journal of Symbolic Logic 34 (2):306-306.
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.M. J. Cresswell - 1972 - Journal of Symbolic Logic 37 (1):180-181.
On regular modal logics with axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
E. J. Lemmon. Symposium: Is there only one correct system of modal logic? I.Aristotelian Society supplementary volume XXXIII, London1959, pp. 23–40. - G. P. Henderson. Is there only one correct system of modal logic? II. Aristotelian Society supplementary volume XXXIII, London1959, pp. 41–56.Sörén Halldén - 1969 - Journal of Symbolic Logic 34 (2):306-306.
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.

Analytics

Added to PP
2009-01-28

Downloads
233 (#175,006)

6 months
66 (#145,113)

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.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.

View all 74 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.
Formal Logic.A. N. Prior - 1964 - Studia Logica 15:298-301.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
An extension algebra and the modal system ${\rm T}$.E. J. Lemmon - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):3-12.

View all 7 references / Add more references