Modal systems in which necessity is "factorable"

Notre Dame Journal of Formal Logic 10 (3):247-256 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893709

Other Versions

No versions found

Links

PhilArchive



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

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. 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.
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.
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.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
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.
The connective of necessity of modal logic S5 is metalogical.Zdzisław Dywan - 1983 - Notre Dame Journal of Formal Logic 24 (3):410-414.
The necessity of the past and modal-tense logic incompleteness.Michael J. White - 1984 - Notre Dame Journal of Formal Logic 25 (1):59-71.
Modal logics with two kinds of necessity and possibility.Paul Weingartner - 1968 - Notre Dame Journal of Formal Logic 9 (2):97-159.
Necessity and some non-modal propositional calculi.Biswambhar Pahi - 1973 - Notre Dame Journal of Formal Logic 14 (3):401-404.
Gentzen systems for modal logic.Louis F. Goble - 1974 - Notre Dame Journal of Formal Logic 15 (3):455-461.

Analytics

Added to PP
2010-08-24

Downloads
34 (#665,199)

6 months
14 (#229,302)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references