Unsolvable classes of quantificational formulas

Similar Works

Action	Title	Year	Authors
+	Quantified Formulas	2008	Daniel Kroening Ofer Strichman
+	Formulas with linearly ordered quantifiers	1968	H. Jerome Keisler
+	Quantified Formulas	2016	Daniel Kroening Ofer Strichman
+	Infinitary formulas	2000
+	Zero-one laws for first-order formulas with a bounded quantifier depth	2011	Maksim Zhukovskii
+	Decidable Equational Classes	1997	Matthew Valeriote
+	Formulas and puzzles	1983	David Parkins
+	Elimination of infinitesimal quantifiers	1999	Dan Richardson
+	Undecidable propositions of the Peano Axioms and Predicate Calculus	1974	John Thomas Vawter
+	COMPLEXITY RESULTS ON MINIMAL UNSATISFIABLE FORMULAS	2006	Xishun Zhao
+	Complexity and depth of formulas realizing functions from closed classes	1987	A. B. Ugol’nikov
+	Existentially polytime theorems	1991	Kathie Cameron Jack Edmonds
+	Quantifier Elimination	2006
+	Exotic Quantifiers, Complexity Classes, and Complete Problems	2007	Peter Bürgisser Felipe Cucker
+	Denial of the Le Barse conjecture on the law of zero or one for existential monadic formulas	2018	Maksim Zhukovskii S. N. Popova
+	A Note on the Monotonicity of Reducible Quantifiers	2009	Richard Zuber
+ PDF Chat	Complexity of the Two-Variable Fragment with Counting Quantifiers	2005	Ian Pratt‐Hartmann
+	Theories with only a finite number of existentially complete models	1977	James H. Schmerl
+	Finite Proofs for Infinitary Formulas	2015	Amelia Harrison and Vladimir Lifschitz and Julian Michael
+	Remarks on Free Quantifier Variables	1979	Jouko Väänánen

Works That Cite This (11)

Action	Title	Year	Authors
+	Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences	1997	Anne Vedø
+	The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability	2010	Eugenio G. Omodeo Alberto Policriti
+	Logical contributions to the Menger colloquium	1998	John W Dawson
+	Tautology: How not to use a word	1991	Burton Dreben Juliet Floyd
+	Borel Structures for First-order and Extended Logics	1985	Charles Steinhorn
+	Tautology: How not to Use a Word	1991	Burton Dreben Juliet Floyd
+ PDF Chat	Reasoning about knowledge of unawareness	2009	Joseph Y. Halpern Leandro Chaves Rêgo
+	Timeline-based planning: Expressiveness and Complexity	2019	Nicola Gigante
+ PDF Chat	An aperiodic set of 11 Wang tiles	2021	Emmanuel Jeandel Michaël Rao
+	Reasoning about knowledge of unawareness	2006	Joseph Y. Halpern Leandro Chaves Rêgo

Works Cited by This (0)

Action	Title	Year	Authors