A simplified semantics for modal logic

Notre Dame Journal of Formal Logic 14 (2):151-174 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093890890

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

A simplified natural deduction approach to certain modal systems.Bangs L. Tapscott - 1987 - Notre Dame Journal of Formal Logic 28 (3):371-384.
An actualistic semantics for quantified modal logic.Thomas Jager - 1982 - Notre Dame Journal of Formal Logic 23 (3):335-349.
A model-theoretic semantics for modal logic.John Paulos - 1976 - Notre Dame Journal of Formal Logic 17 (3):465-468.
Probabilistic considerations on modal semantics.P. K. Schotch & R. E. Jennings - 1981 - Notre Dame Journal of Formal Logic 22 (3):227-238.
The $\Omega $-system and the Ł-system of modal logic.Jean Porte - 1979 - Notre Dame Journal of Formal Logic 20 (4):915-920.
Some remarks on metaphysics and the modal logics F*F.Robert L. Wilson - 1976 - Notre Dame Journal of Formal Logic 17:349.
Probabilistic considerations on modal semantics.R. E. Jennings - 1981 - Notre Dame Journal of Formal Logic 22:227-238.
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.
The modal predicate logics PF*F.Robert L. Wilson - 1977 - Notre Dame Journal of Formal Logic 18:208.
On Ł ukasiewicz's ${\rm \L}$-modal system.Timothy Smiley - 1961 - Notre Dame Journal of Formal Logic 2 (3):149-153.

Analytics

Added to PP
2010-08-24

Downloads
83 (#675,597)

6 months
13 (#935,850)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Enhancing Existential Graphs: Peirce's Late Improvements.Jon Alan Schmidt - 2024 - Transactions of the Charles S. Peirce Society 60 (2):187-204.
A logic of good, should, and would.Lou Goble - 1990 - Journal of Philosophical Logic 19 (2):253 - 276.
Gentzen systems for modal logic.Louis F. Goble - 1974 - Notre Dame Journal of Formal Logic 15 (3):455-461.

Add more citations

References found in this work

The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Introduction to Mathematical Logic.Dirk van Dalen - 1964 - Journal of Symbolic Logic 34 (1):110-111.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
Natural Deduction Rules for Obligation.Frederic B. Fitch - 1966 - American Philosophical Quarterly 3 (1):27 - 38.

View all 7 references / Add more references