Modal logic with functorial variables and a contingent constant

&
Notre Dame Journal of Formal Logic 6 (2):99-109 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093958149

Links

PhilArchive



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

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

C. A. Meredith and A. N. Prior. Notes on the axiomatics of the prepositional calculus. Notre Dame journal of formal logic, vol. 4 , pp. 171–187. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-307.
Prior A. N.. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 , pp. 122–127.Bull R. A.. An axiomatization of Prior's modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 211–214.Prior A. N.. Axiomatisations of the modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 215–217. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464.
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.
A modal logic with temporal variables.Tobias Chapman - 1978 - Notre Dame Journal of Formal Logic 19 (4):558-578.
In memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
The modal structure of the Prior-Rescher family of infinite product systems.Gerald J. Massey - 1972 - Notre Dame Journal of Formal Logic 13 (2):219-223.
In memoriam: Carew Arthur Meredith (1904--1976).David Meredith - 1977 - Notre Dame Journal of Formal Logic 18 (4):513-516.
On a modal system of D. C. Makinson and B. Sobociński.G. F. Schumm - 1969 - Notre Dame Journal of Formal Logic 10 (3):263-265.
A semantical Analysis of the Calculi C n.Newton C. A. Da Costa & E. H. Alves - 1977 - Notre Dame Journal Fo Formal Logic 18 (4):621-630.
A semantical Analysis of the Calculi C n.Newton C. A. Costa - 1977 - Notre Dame Journal Fo Formal Logic 18:621-630.

Analytics

Added to PP
2010-08-24

Downloads
28 (#589,033)

6 months
60 (#84,286)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
From worlds to possibilities.I. L. Humberstone - 1981 - Journal of Philosophical Logic 10 (3):313 - 339.
Two-dimensional adventures.Lloyd Humberstone - 2004 - Philosophical Studies 118 (1-2):17--65.
Scope and subjunctivity.I. L. Humberstone - 1982 - Philosophia 12 (1-2):99-126.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references