FRINK Linked Data Fragments server

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

• W2258592034 endingPage "410" @default.
• W2258592034 startingPage "396" @default.
• W2258592034 abstract "We prove that the satisfiability problem for the two-variable, universal fragment of first-order logic with constants (or, alternatively phrased, for the Bernays-Schonfinkel class with two universally quantified variables) remains decidable after augmenting the fragment by the transitive closure of a single binary relation. We give a 2-NExpTime-upper bound and a 2-ExpTime-lower bound for the complexity of the problem. We also study the cases in which the number of constants is restricted. It appears that with two constants the considered fragment has the finite model property and NExpTime-complete satisfiability problem. Adding a third constant does not change the complexity but allows to construct infinity axioms. A fourth constant lifts the lower complexity bound to TwoExpTime. Finally, we observe that we are close to the border between decidability and undecidability: adding a third variable or the transitive closure of a second binary relation lead to undecidability." @default.
• W2258592034 created "2016-06-24" @default.
• W2258592034 creator A5015610041 @default.
• W2258592034 creator A5090488658 @default.
• W2258592034 date "2012-01-01" @default.
• W2258592034 modified "2023-09-29" @default.
• W2258592034 title "Two-Variable Universal Logic with Transitive Closure" @default.
• W2258592034 cites W108850430 @default.
• W2258592034 cites W1485718948 @default.
• W2258592034 cites W1498542449 @default.
• W2258592034 cites W1517830222 @default.
• W2258592034 cites W1517995365 @default.
• W2258592034 cites W1536964483 @default.
• W2258592034 cites W1580817032 @default.
• W2258592034 cites W1607294421 @default.
• W2258592034 cites W2008070102 @default.
• W2258592034 cites W2032725063 @default.
• W2258592034 cites W2069709605 @default.
• W2258592034 cites W2080220005 @default.
• W2258592034 cites W2086470346 @default.
• W2258592034 cites W2121496524 @default.
• W2258592034 cites W2124580444 @default.
• W2258592034 cites W2246583867 @default.
• W2258592034 doi "https://doi.org/10.4230/lipics.csl.2012.396" @default.
• W2258592034 hasPublicationYear "2012" @default.
• W2258592034 type Work @default.
• W2258592034 sameAs 2258592034 @default.
• W2258592034 citedByCount "6" @default.
• W2258592034 countsByYear W22585920342013 @default.
• W2258592034 countsByYear W22585920342015 @default.
• W2258592034 countsByYear W22585920342016 @default.
• W2258592034 countsByYear W22585920342018 @default.
• W2258592034 crossrefType "proceedings-article" @default.
• W2258592034 hasAuthorship W2258592034A5015610041 @default.
• W2258592034 hasAuthorship W2258592034A5090488658 @default.
• W2258592034 hasConcept C11413529 @default.
• W2258592034 hasConcept C114614502 @default.
• W2258592034 hasConcept C118615104 @default.
• W2258592034 hasConcept C128896722 @default.
• W2258592034 hasConcept C129691609 @default.
• W2258592034 hasConcept C132525143 @default.
• W2258592034 hasConcept C134306372 @default.
• W2258592034 hasConcept C146834321 @default.
• W2258592034 hasConcept C153269930 @default.
• W2258592034 hasConcept C162324750 @default.
• W2258592034 hasConcept C168773769 @default.
• W2258592034 hasConcept C179799912 @default.
• W2258592034 hasConcept C191399111 @default.
• W2258592034 hasConcept C197685441 @default.
• W2258592034 hasConcept C199360897 @default.
• W2258592034 hasConcept C203776342 @default.
• W2258592034 hasConcept C22149727 @default.
• W2258592034 hasConcept C2776235265 @default.
• W2258592034 hasConcept C2777027219 @default.
• W2258592034 hasConcept C33923547 @default.
• W2258592034 hasConcept C34447519 @default.
• W2258592034 hasConcept C41008148 @default.
• W2258592034 hasConcept C56049555 @default.
• W2258592034 hasConcept C65180967 @default.
• W2258592034 hasConcept C6943359 @default.
• W2258592034 hasConcept C77553402 @default.
• W2258592034 hasConceptScore W2258592034C11413529 @default.
• W2258592034 hasConceptScore W2258592034C114614502 @default.
• W2258592034 hasConceptScore W2258592034C118615104 @default.
• W2258592034 hasConceptScore W2258592034C128896722 @default.
• W2258592034 hasConceptScore W2258592034C129691609 @default.
• W2258592034 hasConceptScore W2258592034C132525143 @default.
• W2258592034 hasConceptScore W2258592034C134306372 @default.
• W2258592034 hasConceptScore W2258592034C146834321 @default.
• W2258592034 hasConceptScore W2258592034C153269930 @default.
• W2258592034 hasConceptScore W2258592034C162324750 @default.
• W2258592034 hasConceptScore W2258592034C168773769 @default.
• W2258592034 hasConceptScore W2258592034C179799912 @default.
• W2258592034 hasConceptScore W2258592034C191399111 @default.
• W2258592034 hasConceptScore W2258592034C197685441 @default.
• W2258592034 hasConceptScore W2258592034C199360897 @default.
• W2258592034 hasConceptScore W2258592034C203776342 @default.
• W2258592034 hasConceptScore W2258592034C22149727 @default.
• W2258592034 hasConceptScore W2258592034C2776235265 @default.
• W2258592034 hasConceptScore W2258592034C2777027219 @default.
• W2258592034 hasConceptScore W2258592034C33923547 @default.
• W2258592034 hasConceptScore W2258592034C34447519 @default.
• W2258592034 hasConceptScore W2258592034C41008148 @default.
• W2258592034 hasConceptScore W2258592034C56049555 @default.
• W2258592034 hasConceptScore W2258592034C65180967 @default.
• W2258592034 hasConceptScore W2258592034C6943359 @default.
• W2258592034 hasConceptScore W2258592034C77553402 @default.
• W2258592034 hasLocation W22585920341 @default.
• W2258592034 hasOpenAccess W2258592034 @default.
• W2258592034 hasPrimaryLocation W22585920341 @default.
• W2258592034 hasRelatedWork W133313031 @default.
• W2258592034 hasRelatedWork W1485718948 @default.
• W2258592034 hasRelatedWork W1532158393 @default.
• W2258592034 hasRelatedWork W1536964483 @default.
• W2258592034 hasRelatedWork W1564256547 @default.
• W2258592034 hasRelatedWork W1589628946 @default.
• W2258592034 hasRelatedWork W1997817571 @default.
• W2258592034 hasRelatedWork W2017018565 @default.

• next