An extension algebra and the modal system ${\rm T}$

Notre Dame Journal of Formal Logic 1 (1-2):3-12 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093956424

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Review: E. J. Lemmon, An Extension Algebra and the Modal System T; E. J. Lemmon, Algebraic Semantics for Modal Logics. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (1):136-137.
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.
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.
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.
Modal trees for ${\rm T}$ and ${\rm S}5$.B. Davidson, F. C. Jackson & R. Pargetter - 1977 - Notre Dame Journal of Formal Logic 18 (4):602-606.
Modal systems in the neighbourhood of ${\rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
Modal trees: correction to a decision procedure for ${\rm S5}$ (and ${\rm T}$).A. Burrieza & Juan C. León - 1987 - Notre Dame Journal of Formal Logic 28 (3):385-391.
${\rm RMLC}$: solution to a problem left open by Lemmon.Dolph Ulrich - 1981 - Notre Dame Journal of Formal Logic 22 (2):187-189.
Tense trees: a tree system for ${\rm K}_{{\rm t}}$.B. J. Copeland - 1983 - Notre Dame Journal of Formal Logic 24 (3):318-322.
Modal system ${\rm S}4.4$.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):305-312.

Analytics

Added to PP
2010-08-24

Downloads
25 (#619,765)

6 months
11 (#341,089)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.
Ways of understanding Hugh MacColl's concept of symbolic existence.Shahid Rahman - 1998 - Nordic Journal of Philosophical Logic 3:35-58.
An Axiomatization of Topological Boolean Algebras.Joel Kagan - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):103-106.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references