Searching for "An existential fragment of second order logic." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
An Existential Fragment of Second Order Logic
- …An existential fragment of second order logic Eric Rosen Mathematische Grundlagen der…
- Cited by 3 (1 self) – Add To MetaCart
-
Semantical bounds for everyday language
- … note that all previous quantifiers could be expressed in the existential fragment of second–order logic…
- Cited by 3 (2 self) – Add To MetaCart
-
Default Logic as a Query Language
- … : with xed-point semantics is as expressive as SO 9 , the existential fragment of second-order logic. Schlipf…
- Cited by 37 (10 self) – Add To MetaCart
-
Logic in the Finite
- … call the fragment of second order logic consisting of all such formulas mon-\Pi 1 1 : Now, let R…
- Add To MetaCart
-
A comment on a neuroimaging study of natural language quantifier comprehension
- … quantifiers definable in the existential fragment of second- order logic, Σ1 1 , like those in sentences (5…
- Cited by 1 (1 self) – Add To MetaCart
-
Book Review “Finite Model Theory and Its Applications”,
- … that can be expressed in the existential fragment of second-order logic. A full proof of this result…
- Add To MetaCart
-
A Fixed-Point Logic with Symmetric Choice
- … of second-order logic are exactly those in NP [Fag74] invites the natural question of whether there is a…
- Add To MetaCart
-
Local-search with bootstrapping
- …,6] and the existential fragment of second-order logic [2]. A search problem Π (more precisely, a set of constraints…
- Cited by 1 (1 self) – Add To MetaCart
-
Fixed-Point Logics, Descriptive Complexity, And Random Satisfiability
- … class NP is captured by the existential fragment of second-order logic when inputs are naturally encoded…
- Cited by 1 (0 self) – Add To MetaCart
-
Detecting and Breaking Symmetries on Specifications
- … of symmetries and symmetrybreaking formulae on specifications written in existential second-order logic…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
