Lemmon-style bases for the systems s1⚬ - s4⚬

Journal of Symbolic Logic 33 (3):458 - 461 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270332

Links

PhilArchive



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

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

Lemmon-Style Bases for the Systems $S1^circ - S4^circ$.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (3):458-461.
Review: J. Jay Zeman, Bases for S4 and S4.2 without Added Axioms. [REVIEW]Donald Paul Snyder - 1973 - Journal of Symbolic Logic 38 (2):328-328.
Zeman J. Jay. Bases for S4 and S4.2 without added axioms. Notre Dame journal of formal logic, vol. 4 , pp. 227–230.Donald Paul Snyder - 1973 - Journal of Symbolic Logic 38 (2):328-328.
Review: J. Jay Zeman, Modal Logic. The Lewis-Modal Systems. [REVIEW]M. J. Cresswell - 1977 - Journal of Symbolic Logic 42 (4):581-581.
J. Jay Zeman. Modal logic. The Lewis-modal systems. Clarendon Press, Oxford1973, x + 302 pp. [REVIEW]M. J. Cresswell - 1977 - Journal of Symbolic Logic 42 (4):581.
Review: Lennart Aqvist, Results Concerning some Modal Systems that Contain S2; E. J. Lemmon, Some Results on Finite Axiomatizability in Modal Logic; E. J. Lemmon, A Note on Hallden-Incompleteness. [REVIEW]M. J. Cresswell - 1969 - Journal of Symbolic Logic 34 (4):648-649.
Bolesław Sobociński. Certain extensions of modal system S4. Notre Dame journal of formal logic, vol. 11 no. 3 , pp. 347–368. - Bolesław Sobociński. Concerning some extensions of S4. Notre Dame journal of formal logic, vol. 12 , pp. 363–370. - G. F. Schumm. Solutions to four modal problems of Sobocinski. Notre Dame journal of formal logic, vol. 12 , pp. 335–340. - J. Jay Zeman. A study of some systems in the neighborhood of S4.4. Notre Dame journal of formal logic, vol. 12 , pp. 341–357. - Bolesław Sobociński. A new class of modal systems. Notre Dame journal of formal logic, vol. 12 , pp. 371–377. - Bolesław Sobociński. A proper subsystem of S4.04. Notre Dame journal of formal logic, vol. 12 , pp. 381–384. [REVIEW]M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602.
Lemmon E. J.. New foundations for Lewis modal systems.Naoto Yonemitsu - 1958 - Journal of Symbolic Logic 23 (3):346-347.
Review: M. A. E. Dummett, E. J. Lemmon, Modal Logics Between S4 and S5; Iwao Nishimura, On Formulas of One Variable in Intuitionistic Propositional Calculus; D. C. Makinson, There are Infinitely Many Diodorean Modal Functions. [REVIEW]A. N. Prior - 1967 - Journal of Symbolic Logic 32 (3):396-397.
Review: E. J. Lemmon, A Theory of Attributes Based on Modal Logic; Ruth Barcan Marcus, Classes and Attributes in Extended Modal Systems. [REVIEW]M. J. Cresswell - 1972 - Journal of Symbolic Logic 37 (1):180-181.

Analytics

Added to PP
2009-01-28

Downloads
22 (#699,905)

6 months
6 (#700,872)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logics.Robert Feys - 1965 - Studia Logica 22:170-173.
Les systèmes formalisés des modalités aristotéliciennes.Robert Feys - 1950 - Revue Philosophique De Louvain 48 (20):478-509.
Decision procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.

Add more references