Matches in SemOpenAlex for { <https://semopenalex.org/work/W2270291724> ?p ?o ?g. }
- W2270291724 endingPage "46" @default.
- W2270291724 startingPage "1" @default.
- W2270291724 abstract "Desirable properties of a logic include decidability, and a model theory that inherits properties of first-order logic, such as interpolation and preservation theorems. It is known that the Guarded Fragment (GF) of first-order logic is decidable and satisfies some preservation properties from first-order model theory; however, it fails to have Craig interpolation. The Guarded Negation Fragment (GNF), a recently defined extension, is known to be decidable and to have Craig interpolation. Here we give the first results on effective interpolation for extensions of GF. We provide an interpolation procedure for GNF whose complexity matches the doubly exponential upper bound for satisfiability of GNF. We show that the same construction gives not only Craig interpolation, but Lyndon interpolation and relativized interpolation, which can be used to provide effective proofs of some preservation theorems. We provide upper bounds on the size of GNF interpolants for both GNF and GF input, and complement this with matching lower bounds." @default.
- W2270291724 created "2016-06-24" @default.
- W2270291724 creator A5031309399 @default.
- W2270291724 creator A5037774973 @default.
- W2270291724 creator A5080220262 @default.
- W2270291724 date "2015-12-06" @default.
- W2270291724 modified "2023-10-11" @default.
- W2270291724 title "Effective Interpolation and Preservation in Guarded Logics" @default.
- W2270291724 cites W1483892218 @default.
- W2270291724 cites W1498932326 @default.
- W2270291724 cites W1525691290 @default.
- W2270291724 cites W1972122408 @default.
- W2270291724 cites W1991981864 @default.
- W2270291724 cites W1993453078 @default.
- W2270291724 cites W1993972687 @default.
- W2270291724 cites W1998141358 @default.
- W2270291724 cites W2053916312 @default.
- W2270291724 cites W2056039757 @default.
- W2270291724 cites W2066684585 @default.
- W2270291724 cites W2087207857 @default.
- W2270291724 cites W2096375618 @default.
- W2270291724 cites W2114633883 @default.
- W2270291724 cites W2152535604 @default.
- W2270291724 cites W2153036557 @default.
- W2270291724 cites W2160331395 @default.
- W2270291724 cites W2263859483 @default.
- W2270291724 doi "https://doi.org/10.1145/2814570" @default.
- W2270291724 hasPublicationYear "2015" @default.
- W2270291724 type Work @default.
- W2270291724 sameAs 2270291724 @default.
- W2270291724 citedByCount "7" @default.
- W2270291724 countsByYear W22702917242017 @default.
- W2270291724 countsByYear W22702917242019 @default.
- W2270291724 countsByYear W22702917242020 @default.
- W2270291724 countsByYear W22702917242021 @default.
- W2270291724 crossrefType "journal-article" @default.
- W2270291724 hasAuthorship W2270291724A5031309399 @default.
- W2270291724 hasAuthorship W2270291724A5037774973 @default.
- W2270291724 hasAuthorship W2270291724A5080220262 @default.
- W2270291724 hasBestOaLocation W22702917241 @default.
- W2270291724 hasConcept C104114177 @default.
- W2270291724 hasConcept C104317684 @default.
- W2270291724 hasConcept C105795698 @default.
- W2270291724 hasConcept C108710211 @default.
- W2270291724 hasConcept C112313634 @default.
- W2270291724 hasConcept C11413529 @default.
- W2270291724 hasConcept C118615104 @default.
- W2270291724 hasConcept C127716648 @default.
- W2270291724 hasConcept C134306372 @default.
- W2270291724 hasConcept C137800194 @default.
- W2270291724 hasConcept C153269930 @default.
- W2270291724 hasConcept C154945302 @default.
- W2270291724 hasConcept C168773769 @default.
- W2270291724 hasConcept C185592680 @default.
- W2270291724 hasConcept C188082640 @default.
- W2270291724 hasConcept C205203396 @default.
- W2270291724 hasConcept C2524010 @default.
- W2270291724 hasConcept C2776235265 @default.
- W2270291724 hasConcept C33923547 @default.
- W2270291724 hasConcept C41008148 @default.
- W2270291724 hasConcept C55493867 @default.
- W2270291724 hasConcept C77553402 @default.
- W2270291724 hasConceptScore W2270291724C104114177 @default.
- W2270291724 hasConceptScore W2270291724C104317684 @default.
- W2270291724 hasConceptScore W2270291724C105795698 @default.
- W2270291724 hasConceptScore W2270291724C108710211 @default.
- W2270291724 hasConceptScore W2270291724C112313634 @default.
- W2270291724 hasConceptScore W2270291724C11413529 @default.
- W2270291724 hasConceptScore W2270291724C118615104 @default.
- W2270291724 hasConceptScore W2270291724C127716648 @default.
- W2270291724 hasConceptScore W2270291724C134306372 @default.
- W2270291724 hasConceptScore W2270291724C137800194 @default.
- W2270291724 hasConceptScore W2270291724C153269930 @default.
- W2270291724 hasConceptScore W2270291724C154945302 @default.
- W2270291724 hasConceptScore W2270291724C168773769 @default.
- W2270291724 hasConceptScore W2270291724C185592680 @default.
- W2270291724 hasConceptScore W2270291724C188082640 @default.
- W2270291724 hasConceptScore W2270291724C205203396 @default.
- W2270291724 hasConceptScore W2270291724C2524010 @default.
- W2270291724 hasConceptScore W2270291724C2776235265 @default.
- W2270291724 hasConceptScore W2270291724C33923547 @default.
- W2270291724 hasConceptScore W2270291724C41008148 @default.
- W2270291724 hasConceptScore W2270291724C55493867 @default.
- W2270291724 hasConceptScore W2270291724C77553402 @default.
- W2270291724 hasFunder F4320306076 @default.
- W2270291724 hasFunder F4320334627 @default.
- W2270291724 hasIssue "2" @default.
- W2270291724 hasLocation W22702917241 @default.
- W2270291724 hasLocation W22702917242 @default.
- W2270291724 hasOpenAccess W2270291724 @default.
- W2270291724 hasPrimaryLocation W22702917241 @default.
- W2270291724 hasRelatedWork W1483892218 @default.
- W2270291724 hasRelatedWork W1835316325 @default.
- W2270291724 hasRelatedWork W2951261477 @default.
- W2270291724 hasRelatedWork W2952554977 @default.
- W2270291724 hasRelatedWork W2964843467 @default.
- W2270291724 hasRelatedWork W2970101464 @default.
- W2270291724 hasRelatedWork W3176334073 @default.