Matches in SemOpenAlex for { <https://semopenalex.org/work/W28931835> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W28931835 abstract "It is well known that dependence logic captures the complexity class NP, and it has recently been shown that inclusion logic captures P on ordered models. These results demonstrate that team semantics offers interesting new possibilities for descriptive complexity theory. In order to properly understand the connection between team semantics and descriptive complexity, we introduce an extension D* of dependence logic that can define exactly all recursively enumerable classes of finite models. Thus D* provides an approach to computation alternative to Turing machines. The essential novel feature in D* is an operator that can extend the domain of the considered model by a finite number of fresh elements. Due to the close relationship between generalized quantifiers and oracles, we also investigate generalized quantifiers in team semantics. We show that monotone quantifiers of type (1) can be canonically eliminated from quantifier extensions of first-order logic by introducing corresponding generalized dependence atoms." @default.
- W28931835 created "2016-06-24" @default.
- W28931835 creator A5059829668 @default.
- W28931835 date "2014-08-18" @default.
- W28931835 modified "2023-09-24" @default.
- W28931835 title "Team Semantics and Recursive Enumerability" @default.
- W28931835 cites W1489366126 @default.
- W28931835 cites W1853368733 @default.
- W28931835 cites W1926269500 @default.
- W28931835 cites W1948516912 @default.
- W28931835 cites W1990514682 @default.
- W28931835 cites W2034690236 @default.
- W28931835 cites W2604885820 @default.
- W28931835 cites W582265660 @default.
- W28931835 hasPublicationYear "2014" @default.
- W28931835 type Work @default.
- W28931835 sameAs 28931835 @default.
- W28931835 citedByCount "0" @default.
- W28931835 crossrefType "posted-content" @default.
- W28931835 hasAuthorship W28931835A5059829668 @default.
- W28931835 hasConcept C11413529 @default.
- W28931835 hasConcept C118615104 @default.
- W28931835 hasConcept C131671149 @default.
- W28931835 hasConcept C133142742 @default.
- W28931835 hasConcept C134306372 @default.
- W28931835 hasConcept C136119220 @default.
- W28931835 hasConcept C154945302 @default.
- W28931835 hasConcept C156325763 @default.
- W28931835 hasConcept C179799912 @default.
- W28931835 hasConcept C184337299 @default.
- W28931835 hasConcept C199360897 @default.
- W28931835 hasConcept C202444582 @default.
- W28931835 hasConcept C203702658 @default.
- W28931835 hasConcept C207648694 @default.
- W28931835 hasConcept C2777212361 @default.
- W28931835 hasConcept C2778029271 @default.
- W28931835 hasConcept C2778523021 @default.
- W28931835 hasConcept C29248071 @default.
- W28931835 hasConcept C33923547 @default.
- W28931835 hasConcept C36503486 @default.
- W28931835 hasConcept C39637292 @default.
- W28931835 hasConcept C41008148 @default.
- W28931835 hasConcept C45374587 @default.
- W28931835 hasConcept C48415503 @default.
- W28931835 hasConcept C80444323 @default.
- W28931835 hasConcept C9672783 @default.
- W28931835 hasConceptScore W28931835C11413529 @default.
- W28931835 hasConceptScore W28931835C118615104 @default.
- W28931835 hasConceptScore W28931835C131671149 @default.
- W28931835 hasConceptScore W28931835C133142742 @default.
- W28931835 hasConceptScore W28931835C134306372 @default.
- W28931835 hasConceptScore W28931835C136119220 @default.
- W28931835 hasConceptScore W28931835C154945302 @default.
- W28931835 hasConceptScore W28931835C156325763 @default.
- W28931835 hasConceptScore W28931835C179799912 @default.
- W28931835 hasConceptScore W28931835C184337299 @default.
- W28931835 hasConceptScore W28931835C199360897 @default.
- W28931835 hasConceptScore W28931835C202444582 @default.
- W28931835 hasConceptScore W28931835C203702658 @default.
- W28931835 hasConceptScore W28931835C207648694 @default.
- W28931835 hasConceptScore W28931835C2777212361 @default.
- W28931835 hasConceptScore W28931835C2778029271 @default.
- W28931835 hasConceptScore W28931835C2778523021 @default.
- W28931835 hasConceptScore W28931835C29248071 @default.
- W28931835 hasConceptScore W28931835C33923547 @default.
- W28931835 hasConceptScore W28931835C36503486 @default.
- W28931835 hasConceptScore W28931835C39637292 @default.
- W28931835 hasConceptScore W28931835C41008148 @default.
- W28931835 hasConceptScore W28931835C45374587 @default.
- W28931835 hasConceptScore W28931835C48415503 @default.
- W28931835 hasConceptScore W28931835C80444323 @default.
- W28931835 hasConceptScore W28931835C9672783 @default.
- W28931835 hasLocation W289318351 @default.
- W28931835 hasOpenAccess W28931835 @default.
- W28931835 hasPrimaryLocation W289318351 @default.
- W28931835 hasRelatedWork W126976627 @default.
- W28931835 hasRelatedWork W157414900 @default.
- W28931835 hasRelatedWork W1581123558 @default.
- W28931835 hasRelatedWork W1596583916 @default.
- W28931835 hasRelatedWork W1599361371 @default.
- W28931835 hasRelatedWork W1658292375 @default.
- W28931835 hasRelatedWork W1676392646 @default.
- W28931835 hasRelatedWork W2124345097 @default.
- W28931835 hasRelatedWork W2128992690 @default.
- W28931835 hasRelatedWork W2293139545 @default.
- W28931835 hasRelatedWork W2529242558 @default.
- W28931835 hasRelatedWork W2634552222 @default.
- W28931835 hasRelatedWork W2737552223 @default.
- W28931835 hasRelatedWork W2798485127 @default.
- W28931835 hasRelatedWork W2809754822 @default.
- W28931835 hasRelatedWork W2907351305 @default.
- W28931835 hasRelatedWork W2942964520 @default.
- W28931835 hasRelatedWork W2962716594 @default.
- W28931835 hasRelatedWork W2963787584 @default.
- W28931835 hasRelatedWork W3208606349 @default.
- W28931835 isParatext "false" @default.
- W28931835 isRetracted "false" @default.
- W28931835 magId "28931835" @default.
- W28931835 workType "article" @default.