The propostitional calculus ${\rm MC}$ and its modal analog

Notre Dame Journal of Formal Logic 9 (4):294-298 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893513

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

Three existence principles in a modal calculus without descriptions contained in A. Bressan's ${\rm MC}^\nu$.Eugenio Giovanni Omodeo - 1980 - Notre Dame Journal of Formal Logic 21 (4):711-727.
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]Boleslaw Sobocinski, G. F. Schumm & J. Jay Zeman - 1975 - Journal of Symbolic Logic 40 (4):602.
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.
On the calculus ${\rm MCC}$.A. N. Prior - 1969 - Notre Dame Journal of Formal Logic 10 (3):273-274.
A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: "The connective of necessity of modal logic ${\rm S}_5$ is metalogical".Zdzisław Dywan - 1986 - Notre Dame Journal of Formal Logic 27 (4):551-555.
A modal analog for Glivenko's theorem and its applications.V. V. Rybakov - 1992 - Notre Dame Journal of Formal Logic 33 (2):244-248.
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 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.
Modal system ${\rm S}4.4$.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):305-312.
Erratum: ``Modal system ${rm S}3$ and the proper axioms of ${rm S}4.02$ and ${rm S}4.04$''.Bolesław Sobociński - 1974 - Notre Dame Journal of Formal Logic 15 (4):648-648.

Analytics

Added to PP
2010-08-24

Downloads
89 (#610,590)

6 months
27 (#362,663)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Certain extensions of modal system $S4$.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):347-368.
A study of some systems in the neighborhood of ${\rm S}4.4$.J. Jay Zeman - 1971 - Notre Dame Journal of Formal Logic 12 (3):341-357.
Semantics for $S4.04$, $S4.4$, and $S4.3.2$.G. N. Georgacarakos - 1976 - Notre Dame Journal of Formal Logic 17 (2):297-302.
On some substitution instances of R1 and L1.Wolfgang Lenzen - 1978 - Notre Dame Journal of Formal Logic 19:159.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references