On the Existence of Very Difficult Satisfiability Problems

&
Bulletin of the Section of Logic (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Two variable first-order logic over ordered domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
What is answer set programming?Vladimir Lifschitz - unknown
On the computational complexity of the numerically definite syllogistic and related logics.Ian Pratt-Hartmann - 2008 - Bulletin of Symbolic Logic 14 (1):1-28.
Week 1: Propositional Logic, or Boolean Logic.Jan van Eijck - unknown
Existence problems in philosophy and science.Peter W. Ross & Dale Turner - 2013 - Synthese 190 (18):4239-4259.
The Concept of Existence: History and Definitions by Leading Philosophers.Raul Corazzon - unknown
Complexity of the two-variable fragment with counting quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.
Satisfiability on hypergraphs.Adam Kolany - 1993 - Studia Logica 52 (3):393-404.
The reality of time and the existence of God: the project of proving God's existence.David Braine - 1988 - New York: Oxford University Press.

Analytics

Added to PP
2014-01-22

Downloads
27 (#554,860)

6 months
6 (#417,196)

Historical graph of downloads
How can I increase my 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.

Add more citations

References found in this work

No references found.

Add more references