Matches in SemOpenAlex for { <https://semopenalex.org/work/W2906231331> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2906231331 endingPage "1344" @default.
- W2906231331 startingPage "1307" @default.
- W2906231331 abstract "Abstract The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences that arise in databases. It has been shown that the syntax of GNFO is restrictive enough so that computational problems such as validity and satisfiability are still decidable. This suggests that, in spite of its expressive power, GNFO formulas are amenable to novel optimizations. In this article we study the model theory of GNFO formulas. Our results include effective preservation theorems for GNFO, effective Craig Interpolation and Beth Definability results, and the ability to express the certain answers of queries with respect to a large class of GNFO sentences within very restricted logics." @default.
- W2906231331 created "2019-01-01" @default.
- W2906231331 creator A5037774973 @default.
- W2906231331 creator A5042134900 @default.
- W2906231331 creator A5080220262 @default.
- W2906231331 date "2018-12-01" @default.
- W2906231331 modified "2023-09-25" @default.
- W2906231331 title "SOME MODEL THEORY OF GUARDED NEGATION" @default.
- W2906231331 cites W1778829768 @default.
- W2906231331 cites W1929404437 @default.
- W2906231331 cites W1968968780 @default.
- W2906231331 cites W1991981864 @default.
- W2906231331 cites W1992673035 @default.
- W2906231331 cites W2035778661 @default.
- W2906231331 cites W2043132490 @default.
- W2906231331 cites W2046652577 @default.
- W2906231331 cites W2102729564 @default.
- W2906231331 cites W2153036557 @default.
- W2906231331 cites W2171094216 @default.
- W2906231331 cites W2291810008 @default.
- W2906231331 cites W2628596753 @default.
- W2906231331 doi "https://doi.org/10.1017/jsl.2018.64" @default.
- W2906231331 hasPublicationYear "2018" @default.
- W2906231331 type Work @default.
- W2906231331 sameAs 2906231331 @default.
- W2906231331 citedByCount "11" @default.
- W2906231331 countsByYear W29062313312020 @default.
- W2906231331 countsByYear W29062313312021 @default.
- W2906231331 countsByYear W29062313312022 @default.
- W2906231331 countsByYear W29062313312023 @default.
- W2906231331 crossrefType "journal-article" @default.
- W2906231331 hasAuthorship W2906231331A5037774973 @default.
- W2906231331 hasAuthorship W2906231331A5042134900 @default.
- W2906231331 hasAuthorship W2906231331A5080220262 @default.
- W2906231331 hasBestOaLocation W29062313312 @default.
- W2906231331 hasConcept C102993220 @default.
- W2906231331 hasConcept C118615104 @default.
- W2906231331 hasConcept C134752490 @default.
- W2906231331 hasConcept C136119220 @default.
- W2906231331 hasConcept C153269930 @default.
- W2906231331 hasConcept C154945302 @default.
- W2906231331 hasConcept C168773769 @default.
- W2906231331 hasConcept C195818886 @default.
- W2906231331 hasConcept C199360897 @default.
- W2906231331 hasConcept C202444582 @default.
- W2906231331 hasConcept C203659156 @default.
- W2906231331 hasConcept C2185349 @default.
- W2906231331 hasConcept C2776235265 @default.
- W2906231331 hasConcept C2777212361 @default.
- W2906231331 hasConcept C33923547 @default.
- W2906231331 hasConcept C41008148 @default.
- W2906231331 hasConcept C47030870 @default.
- W2906231331 hasConcept C60048249 @default.
- W2906231331 hasConcept C78344899 @default.
- W2906231331 hasConcept C80444323 @default.
- W2906231331 hasConceptScore W2906231331C102993220 @default.
- W2906231331 hasConceptScore W2906231331C118615104 @default.
- W2906231331 hasConceptScore W2906231331C134752490 @default.
- W2906231331 hasConceptScore W2906231331C136119220 @default.
- W2906231331 hasConceptScore W2906231331C153269930 @default.
- W2906231331 hasConceptScore W2906231331C154945302 @default.
- W2906231331 hasConceptScore W2906231331C168773769 @default.
- W2906231331 hasConceptScore W2906231331C195818886 @default.
- W2906231331 hasConceptScore W2906231331C199360897 @default.
- W2906231331 hasConceptScore W2906231331C202444582 @default.
- W2906231331 hasConceptScore W2906231331C203659156 @default.
- W2906231331 hasConceptScore W2906231331C2185349 @default.
- W2906231331 hasConceptScore W2906231331C2776235265 @default.
- W2906231331 hasConceptScore W2906231331C2777212361 @default.
- W2906231331 hasConceptScore W2906231331C33923547 @default.
- W2906231331 hasConceptScore W2906231331C41008148 @default.
- W2906231331 hasConceptScore W2906231331C47030870 @default.
- W2906231331 hasConceptScore W2906231331C60048249 @default.
- W2906231331 hasConceptScore W2906231331C78344899 @default.
- W2906231331 hasConceptScore W2906231331C80444323 @default.
- W2906231331 hasIssue "04" @default.
- W2906231331 hasLocation W29062313311 @default.
- W2906231331 hasLocation W29062313312 @default.
- W2906231331 hasLocation W29062313313 @default.
- W2906231331 hasOpenAccess W2906231331 @default.
- W2906231331 hasPrimaryLocation W29062313311 @default.
- W2906231331 hasRelatedWork W108377115 @default.
- W2906231331 hasRelatedWork W143659445 @default.
- W2906231331 hasRelatedWork W2798884761 @default.
- W2906231331 hasRelatedWork W2906231331 @default.
- W2906231331 hasRelatedWork W2949461525 @default.
- W2906231331 hasRelatedWork W2998490492 @default.
- W2906231331 hasRelatedWork W3025882138 @default.
- W2906231331 hasRelatedWork W36592441 @default.
- W2906231331 hasRelatedWork W4287778768 @default.
- W2906231331 hasRelatedWork W4302587616 @default.
- W2906231331 hasVolume "83" @default.
- W2906231331 isParatext "false" @default.
- W2906231331 isRetracted "false" @default.
- W2906231331 magId "2906231331" @default.
- W2906231331 workType "article" @default.