The decision problem for standard classes

Journal of Symbolic Logic 41 (2):460-464 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272244

Other Versions

No versions found

Links

PhilArchive



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

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

Egon Boerger, Erich Graedel, and Yuri Gurevich, The Classical Decision Problem.M. Marx - 1999 - Journal of Logic Language and Information 8:478-481.
The classical decision problem, Egon börger, Erich grädel, and Yuri Gurevich.Maarten Marx - 1999 - Journal of Logic, Language and Information 8 (4):478-481.
Yuri Gurevich and Saharon Shelah. On finite rigid structures. The journal of symbolic logic, vol. 61 , pp. 549–562. [REVIEW]Alexei P. Stolboushkin - 2000 - Bulletin of Symbolic Logic 6 (3):353-355.
The decision problem for some classes of sentences without quantifiers.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):61-76.
On a Mistake in the Paper of Žégalkin "On the Decision Problem in Finite Classes".V. F. Kostyrko - 1965 - Journal of Symbolic Logic 30 (2):254-254.
Review: B. A. Trahtenbrot, Impossibility of an Algorithm for the Decision Problem in Finite Classes. [REVIEW]Andrzej Mostowski - 1950 - Journal of Symbolic Logic 15 (3):229-229.
Review: Yuri V. Matiyasevich, Martin Davis, Hilbert's Tenth Problem. [REVIEW]C. Dimitracopoulos - 1997 - Journal of Symbolic Logic 62 (2):675-677.

Analytics

Added to PP
2009-01-28

Downloads
48 (#460,678)

6 months
13 (#265,352)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Undecidability results on two-variable logics.Erich Grädel, Martin Otto & Eric Rosen - 1999 - Archive for Mathematical Logic 38 (4-5):313-354.
Embedding causal team languages into predicate logic.Fausto Barbero & Pietro Galliani - 2022 - Annals of Pure and Applied Logic 173 (10):103159.
Dominoes and the complexity of subclasses of logical theories.Erich Grädel - 1989 - Annals of Pure and Applied Logic 43 (1):1-30.
Thue trees.Jerzy Marcinkowski & Leszek Pacholski - 2003 - Annals of Pure and Applied Logic 119 (1-3):19-59.

Add more citations

References found in this work

No references found.

Add more references