A modal natural deduction system for S4

Notre Dame Journal of Formal Logic 20:625 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882670

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

A natural deduction system for modal logic.John Thomas Canty - 1964 - Notre Dame Journal of Formal Logic 5 (3):199-210.
Natural deduction rules for S1°-S4°.Thomas W. Satre - 1972 - Notre Dame Journal of Formal Logic 13:565.
Certain extensions of modal system $S4$.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):347-368.
A modal system properly independent of both the Brouwerian system and $S4$.G. N. Georgacarakos - 1978 - Notre Dame Journal of Formal Logic 19 (1):101-114.
Natural deduction in normal modal logic.John Hawthorn - 1990 - Notre Dame Journal of Formal Logic 31 (2):263-273.
Natural deduction rules for modal logics.Thomas W. Satre - 1972 - Notre Dame Journal of Formal Logic 13 (4):461-475.
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.
The deduction theorem in S4, S4.2, and S5.J. Jay Zeman - 1967 - Notre Dame Journal of Formal Logic 8:56.
NOR logic: a system of natural deduction.Laurence S. Gagnon - 1976 - Notre Dame Journal of Formal Logic 17 (2):293-294.
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.

Analytics

Added to PP
2010-08-24

Downloads
28 (#556,922)

6 months
3 (#1,207,367)

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

No references found.

Add more references