Logic
Quantified boolean formulas · First-order logic of equality · Satisfaction in intuitionistic propositional logic · Satisfaction in modal logic S4 · First-order theory of the natural numbers under the successor operation · First-order theory of the natural numbers under the standard order · First-order theory of the integers under the standard order · First-order theory of well-ordered sets · First-order theory of binary strings under lexicographic ordering · First-order theory of a finite Boolean algebra · Stochastic satisfiability · Linear temporal logic satisfiability and model checking
Read more about this topic: List Of PSPACE-complete Problems
Famous quotes containing the word logic:
“The much vaunted male logic isn’t logical, because they display prejudices—against half the human race—that are considered prejudices according to any dictionary definition.”
—Eva Figes (b. 1932)
“Though living is a dreadful thing
And a dreadful thing is it
Life the niggard will not thank,
She will not teach who will not sing,
And what serves, on the final bank,
Our logic and our wit?”
—Philip Larkin (1922–1986)
“The usefulness of madmen is famous: they demonstrate society’s logic flagrantly carried out down to its last scrimshaw scrap.”
—Cynthia Ozick (b. 1928)