Journal of Symbolic Logic 64 (3):984 - 990 (1999)

Abstract
We prove that for a natural class of first-order formulas the validity problem is Π p 2 -complete
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586615
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,226
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Fragments of Language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
Undecidability and Intuitionistic Incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Linguistic Applications of First Order Intuitionistic Linear Logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.
Topological Completeness for Higher-Order Logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
An Event-Based Fragment of First-Order Logic Over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.

Analytics

Added to PP index
2009-01-28

Total views
381 ( #26,031 of 2,499,704 )

Recent downloads (6 months)
1 ( #418,066 of 2,499,704 )

How can I increase my downloads?

Downloads

My notes