The modal logic of `all and only'

Notre Dame Journal of Formal Logic 28 (2):177-188 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093636937

Other Versions

No versions found

Links

PhilArchive



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

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

Minimal Non-contingency Logic.Steven T. Kuhn - 1995 - Notre Dame Journal of Formal Logic 36 (2):230-234.
The $\Omega $-system and the Ł-system of modal logic.Jean Porte - 1979 - Notre Dame Journal of Formal Logic 20 (4):915-920.
On Ł ukasiewicz's ${\rm \L}$-modal system.Timothy Smiley - 1961 - Notre Dame Journal of Formal Logic 2 (3):149-153.
On some modal logics related to the Ł -modal system.Robert L. Wilson - 1976 - Notre Dame Journal of Formal Logic 17 (2):191-206.
A deduction theorem for rejection theses in Ł ukasiewicz's system of modal logic.Stanley J. Krolikoski - 1979 - Notre Dame Journal of Formal Logic 20 (2):461-464.
A second deduction theorem for rejection theses in Ł ukasiewicz's system of modal logic.Stanley J. Krolikoski - 1979 - Notre Dame Journal of Formal Logic 20 (3):545-548.
Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
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.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Smiley Timothy. On Łukasiewicz's Ł-modal system. Notre Dame journal of formal logic, vol. 2 , pp. 149–153.Alonzo Church - 1962 - Journal of Symbolic Logic 27 (1):113-113.

Analytics

Added to PP
2010-08-24

Downloads
33 (#675,756)

6 months
13 (#242,190)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mereological Bimodal Logics.Li Dazhu & Yanjing Wang - 2022 - Review of Symbolic Logic 15 (4):823-858.
Belief revision in a temporal framework.Giacomo Bonanno - 2008 - In Krzysztof R. Apt & Robert Van Rooij (eds.), New Perspectives on Games and Interactions. Amsterdam University Press.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references