Concerning the proper axiom for $S4.04$ and some related systems

Notre Dame Journal of Formal Logic 14 (3):392-396 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891006

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

Erratum: ``Concerning the proper axiom for $S4.04$ and some related systems''.R. I. Goldblatt - 1975 - Notre Dame Journal of Formal Logic 16 (4):608-608.
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.
A proper subsystem of S4.04.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12:381.
Modal system S3 and the proper axioms of S4.02 and S4.04.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14:415.
S4.1.4=S4.1.2 and S4.021=S4.04.Wolfgang Lenzen - 1978 - Notre Dame Journal of Formal Logic 19 (3):465-466.
Note on Zeman's modal system $S4.04$.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):383-384.
Semantics for $S4.04$, $S4.4$, and $S4.3.2$.G. N. Georgacarakos - 1976 - Notre Dame Journal of Formal Logic 17 (2):297-302.
$\Varepsilon$-calculus based axiom systems for some propositional modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (3):381-384.
Contractions of Closure Systems.Stephen Pollard & Norman M. Martin - 1994 - Notre Dame Journal of Formal Logic 35 (1):108-115.
A note concerning the axiom of choice.Bolesllaw Sobocinski - 1960 - Notre Dame Journal of Formal Logic 1:122.

Analytics

Added to PP
2010-08-24

Downloads
26 (#852,250)

6 months
16 (#187,891)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logics of True Belief.Yuanzhe Yang - 2024 - Notre Dame Journal of Formal Logic 65 (1):55-80.

Add more citations

References found in this work

No references found.

Add more references