FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963787584> ?p ?o ?g. }

• W2963787584 endingPage "139" @default.
• W2963787584 startingPage "132" @default.
• W2963787584 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.
• W2963787584 created "2019-07-30" @default.
• W2963787584 creator A5059829668 @default.
• W2963787584 date "2014-08-01" @default.
• W2963787584 modified "2023-09-24" @default.
• W2963787584 title "Team Semantics and Recursive Enumerability." @default.
• W2963787584 cites W1489366126 @default.
• W2963787584 cites W1576023561 @default.
• W2963787584 cites W1853368733 @default.
• W2963787584 cites W1926269500 @default.
• W2963787584 cites W1948516912 @default.
• W2963787584 cites W1983126204 @default.
• W2963787584 cites W1990514682 @default.
• W2963787584 cites W2034690236 @default.
• W2963787584 cites W2036854684 @default.
• W2963787584 cites W2381929860 @default.
• W2963787584 cites W2604885820 @default.
• W2963787584 cites W2963674548 @default.
• W2963787584 cites W3102477048 @default.
• W2963787584 cites W582265660 @default.
• W2963787584 hasPublicationYear "2014" @default.
• W2963787584 type Work @default.
• W2963787584 sameAs 2963787584 @default.
• W2963787584 citedByCount "2" @default.
• W2963787584 countsByYear W29637875842017 @default.
• W2963787584 countsByYear W29637875842019 @default.
• W2963787584 crossrefType "journal-article" @default.
• W2963787584 hasAuthorship W2963787584A5059829668 @default.
• W2963787584 hasConcept C11413529 @default.
• W2963787584 hasConcept C118615104 @default.
• W2963787584 hasConcept C131671149 @default.
• W2963787584 hasConcept C133142742 @default.
• W2963787584 hasConcept C136119220 @default.
• W2963787584 hasConcept C154945302 @default.
• W2963787584 hasConcept C156325763 @default.
• W2963787584 hasConcept C179799912 @default.
• W2963787584 hasConcept C184337299 @default.
• W2963787584 hasConcept C199360897 @default.
• W2963787584 hasConcept C202444582 @default.
• W2963787584 hasConcept C207648694 @default.
• W2963787584 hasConcept C2777212361 @default.
• W2963787584 hasConcept C2778029271 @default.
• W2963787584 hasConcept C2778523021 @default.
• W2963787584 hasConcept C29248071 @default.
• W2963787584 hasConcept C33923547 @default.
• W2963787584 hasConcept C41008148 @default.
• W2963787584 hasConcept C45374587 @default.
• W2963787584 hasConcept C48415503 @default.
• W2963787584 hasConcept C80444323 @default.
• W2963787584 hasConcept C9672783 @default.
• W2963787584 hasConceptScore W2963787584C11413529 @default.
• W2963787584 hasConceptScore W2963787584C118615104 @default.
• W2963787584 hasConceptScore W2963787584C131671149 @default.
• W2963787584 hasConceptScore W2963787584C133142742 @default.
• W2963787584 hasConceptScore W2963787584C136119220 @default.
• W2963787584 hasConceptScore W2963787584C154945302 @default.
• W2963787584 hasConceptScore W2963787584C156325763 @default.
• W2963787584 hasConceptScore W2963787584C179799912 @default.
• W2963787584 hasConceptScore W2963787584C184337299 @default.
• W2963787584 hasConceptScore W2963787584C199360897 @default.
• W2963787584 hasConceptScore W2963787584C202444582 @default.
• W2963787584 hasConceptScore W2963787584C207648694 @default.
• W2963787584 hasConceptScore W2963787584C2777212361 @default.
• W2963787584 hasConceptScore W2963787584C2778029271 @default.
• W2963787584 hasConceptScore W2963787584C2778523021 @default.
• W2963787584 hasConceptScore W2963787584C29248071 @default.
• W2963787584 hasConceptScore W2963787584C33923547 @default.
• W2963787584 hasConceptScore W2963787584C41008148 @default.
• W2963787584 hasConceptScore W2963787584C45374587 @default.
• W2963787584 hasConceptScore W2963787584C48415503 @default.
• W2963787584 hasConceptScore W2963787584C80444323 @default.
• W2963787584 hasConceptScore W2963787584C9672783 @default.
• W2963787584 hasLocation W29637875841 @default.
• W2963787584 hasOpenAccess W2963787584 @default.
• W2963787584 hasPrimaryLocation W29637875841 @default.
• W2963787584 hasRelatedWork W126976627 @default.
• W2963787584 hasRelatedWork W157414900 @default.
• W2963787584 hasRelatedWork W1581123558 @default.
• W2963787584 hasRelatedWork W1596583916 @default.
• W2963787584 hasRelatedWork W1599361371 @default.
• W2963787584 hasRelatedWork W1658292375 @default.
• W2963787584 hasRelatedWork W1676392646 @default.
• W2963787584 hasRelatedWork W2124345097 @default.
• W2963787584 hasRelatedWork W2128992690 @default.
• W2963787584 hasRelatedWork W2293139545 @default.
• W2963787584 hasRelatedWork W2634552222 @default.
• W2963787584 hasRelatedWork W2666358762 @default.
• W2963787584 hasRelatedWork W2737552223 @default.
• W2963787584 hasRelatedWork W2798485127 @default.
• W2963787584 hasRelatedWork W2809754822 @default.
• W2963787584 hasRelatedWork W28931835 @default.
• W2963787584 hasRelatedWork W2907351305 @default.
• W2963787584 hasRelatedWork W2942964520 @default.
• W2963787584 hasRelatedWork W2962716594 @default.
• W2963787584 hasRelatedWork W3208606349 @default.
• W2963787584 isParatext "false" @default.
• W2963787584 isRetracted "false" @default.
• W2963787584 magId "2963787584" @default.

• next