On the Existence of Very Difficult Satisfiability Problems
Bulletin of the Section of Logic (forthcoming)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Two variable first-order logic over ordered domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
On the computational complexity of the numerically definite syllogistic and related logics.Ian Pratt-Hartmann - 2008 - Bulletin of Symbolic Logic 14 (1):1-28.
Existence problems in philosophy and science.Peter W. Ross & Dale Turner - 2013 - Synthese 190 (18):4239-4259.
Complexity of the two-variable fragment with counting quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.
The Reality of Time and the Existence of God: The Project of Proving God's Existence.David Braine - 1988 - Oxford University Press.
Analytics
Added to PP
2014-01-22
Downloads
19 (#590,037)
6 months
6 (#134,068)
2014-01-22
Downloads
19 (#590,037)
6 months
6 (#134,068)
Historical graph of downloads
Citations of this work
The incompleteness of theories of games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553-568.