Replacement in some modal systems

Journal of Symbolic Logic 33 (4):569-570 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1969

DOI

10.2307/2271365

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

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

Bolesław Sobociński. A contribution to the axiomatization of Lewis' system S5. Notre Dame journal of formal logic, vol. 3 , pp. 51–63. - Bolesław Sobociński. On the generalized Brouwerian axioms.Notre Dame journal of formal logic, vol. 3 , pp. 123–128. - Bolesław Sobociński. A note on modal systems.Notre Dame journal of formal logic, vol. 4 , pp. 155–157. - Ivo Thomas. Solutions of five modal problems of Sobociński.Notre Dame journal of formal logic, vol. 3 , pp. 199–200. - Ivo Thomas. S1° and Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 , pp. 151–152. - Ivo Thomas. S1° and generalized Si-axioms.Notre Dame journal of formal logic, vol. 4 , pp. 153–154. - Ivo Thomas. A final note on S1° and the Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 , pp. 231–232. - Ivo Thomas. Modal systems in the neighbourhood of T.Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 59–61. - Ivo Thomas. Ten modal models. The journal of symbolic logic, vol. 29 no. 3 , pp. 125–12. [REVIEW]Nuel D. Belnap - 1966 - Journal of Symbolic Logic 31 (3):498-500.
Sobociński Bolesław. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 71–80.Prior A. N., K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 299–304.Sobociński Bolesław. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 305–312.Sobociński Bolesław. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 313–318.Thomas Ivo. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 335–336.Thomas Ivo. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 337–338. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.
Review: Ivo Thomas, Kilwardby on Conversion; Ivo Thomas, Maxims in Kilwardby. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):316-317.
Review: Ivo Thomas, Logic and Theology. [REVIEW]Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):142-143.
Thomas Ivo. Eulerian syllogistic.James Wilkinson Miller - 1957 - Journal of Symbolic Logic 22 (4):381-382.
Review: Ivo Thomas, On the Infinity of Positive Logic. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-306.
Review: Ivo Thomas, Existence and Coherence. [REVIEW]C. Lewy - 1951 - Journal of Symbolic Logic 16 (4):301-301.
Review: Ivo Thomas, Introductory Remarks to Modern Logic. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):315-315.
Review: Ivo Thomas, Eulerian Syllogistic. [REVIEW]James Wilkinson Miller - 1957 - Journal of Symbolic Logic 22 (4):381-382.
Review: Ivo Thomas, Farrago Logica. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):314-315.

Analytics

Added to PP
2009-01-28

Downloads
31 (#736,320)

6 months
12 (#312,930)

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

Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
Les Logiques nouvelles des modalités.Robert Feys - 1937 - Revue Néo-Scolastique de Philosophie 40 (56):517-553.

Add more references