The decision problem for some classes of sentences without quantifiers

Journal of Symbolic Logic 8 (2):61-76 (1943)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268172

Other Versions

reprint Mckinsey, J. C. C. (1944) "The Decision Problem for Some Classes of Sentences Without Quantifiers". Journal of Symbolic Logic 9(1):30-31

Links

PhilArchive



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

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

McKinsey J. C. C.. The decision problem for some classes of sentences without quantifiers. [REVIEW]P. Lagerström - 1944 - Journal of Symbolic Logic 9 (1):30-31.
Review: J. C. C. McKinsey, A Solution of the Decision Problem for the Lewis Systems S2 and S4, With an Application to Topology. [REVIEW]W. T. Parry - 1942 - Journal of Symbolic Logic 7 (3):118-119.
McKinsey J. C. C. and Tarski Alfred. Some theorems about the sentential calculi of Lewis and Heyting. [REVIEW]Leon Henkin - 1948 - Journal of Symbolic Logic 13 (3):171-172.
McKinsey J. C. C.. On the syntactical construction of systems of modal logic. [REVIEW]Frederic B. Fitch - 1946 - Journal of Symbolic Logic 11 (3):98-99.
McKinsey J. C. C.. Systems of modal logic which are not unreasonable in the sense of Halldén. [REVIEW]Naoto Yonemitsu - 1954 - Journal of Symbolic Logic 19 (1):67-68.
McKinsey J. C. C.. Postulates for the calculus of binary relations.Everett J. Nelson - 1940 - Journal of Symbolic Logic 5 (4):167-168.
Review: J. C. C. McKinsey, A Note on Reichenbach's Axioms for Probability Implication. [REVIEW]Ernest Nagel - 1940 - Journal of Symbolic Logic 5 (1):42-42.
McKinsey J. C. C.. Proof that there are infinitely many modalities in Lewis's system S2. [REVIEW]W. T. Parry - 1941 - Journal of Symbolic Logic 6 (1):37-37.

Analytics

Added to PP
2009-01-28

Downloads
54 (#400,587)

6 months
3 (#1,470,638)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
Reasoning with models.Roni Khardon & Dan Roth - 1996 - Artificial Intelligence 87 (1-2):187-213.
Horn approximations of empirical data.Henry Kautz, Michael Kearns & Bart Selman - 1995 - Artificial Intelligence 74 (1):129-145.
An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references