Matches in SemOpenAlex for { <https://semopenalex.org/work/W313985849> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W313985849 endingPage "376" @default.
- W313985849 startingPage "365" @default.
- W313985849 abstract "Uniform one-dimensional fragment $UF_1^=$ is a formalism obtained from first-order logic by limiting quantification to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the quantified formula. The fragment is closed under Boolean operations, but additional restrictions (called uniformity conditions) apply to combinations of atomic formulas with two or more variables. $UF_1^=$ can be seen as a canonical generalization of two-variable logic, defined in order to be able to deal with relations of arbitrary arities. $UF_1^=$ was introduced recently, and it was shown that the satisfiability problem of the equality-free fragment UF1 of $UF_1^=$ is decidable. In this article we establish that the satisfiability and finite satisfiability problems of $UF_1^=$ are NEXPTIME-complete. We also show that the corresponding problems for the extension of $UF_1^=$ with counting quantifiers are undecidable. In addition to decidability questions, we compare the expressivities of $UF_1^=$ and two-variable logic with counting quantifiers FOC2. We show that while the logics are incomparable in general, $UF_1^=$ is strictly contained in FOC2 when attention is restricted to vocabularies with the arity bound two." @default.
- W313985849 created "2016-06-24" @default.
- W313985849 creator A5059829668 @default.
- W313985849 creator A5090488658 @default.
- W313985849 date "2014-01-01" @default.
- W313985849 modified "2023-10-17" @default.
- W313985849 title "Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality" @default.
- W313985849 cites W1991981864 @default.
- W313985849 cites W1997817571 @default.
- W313985849 cites W2017018565 @default.
- W313985849 cites W2027602125 @default.
- W313985849 cites W2086470346 @default.
- W313985849 cites W2124580444 @default.
- W313985849 cites W2914576081 @default.
- W313985849 cites W4244088669 @default.
- W313985849 cites W6480589 @default.
- W313985849 doi "https://doi.org/10.1007/978-3-662-44522-8_31" @default.
- W313985849 hasPublicationYear "2014" @default.
- W313985849 type Work @default.
- W313985849 sameAs 313985849 @default.
- W313985849 citedByCount "13" @default.
- W313985849 countsByYear W3139858492015 @default.
- W313985849 countsByYear W3139858492016 @default.
- W313985849 countsByYear W3139858492017 @default.
- W313985849 countsByYear W3139858492018 @default.
- W313985849 countsByYear W3139858492019 @default.
- W313985849 countsByYear W3139858492020 @default.
- W313985849 countsByYear W3139858492021 @default.
- W313985849 countsByYear W3139858492022 @default.
- W313985849 crossrefType "book-chapter" @default.
- W313985849 hasAuthorship W313985849A5059829668 @default.
- W313985849 hasAuthorship W313985849A5090488658 @default.
- W313985849 hasBestOaLocation W3139858492 @default.
- W313985849 hasConcept C110546421 @default.
- W313985849 hasConcept C11413529 @default.
- W313985849 hasConcept C118615104 @default.
- W313985849 hasConcept C134306372 @default.
- W313985849 hasConcept C153269930 @default.
- W313985849 hasConcept C168773769 @default.
- W313985849 hasConcept C182365436 @default.
- W313985849 hasConcept C192034797 @default.
- W313985849 hasConcept C2776235265 @default.
- W313985849 hasConcept C33923547 @default.
- W313985849 hasConcept C41008148 @default.
- W313985849 hasConcept C6943359 @default.
- W313985849 hasConcept C7342684 @default.
- W313985849 hasConceptScore W313985849C110546421 @default.
- W313985849 hasConceptScore W313985849C11413529 @default.
- W313985849 hasConceptScore W313985849C118615104 @default.
- W313985849 hasConceptScore W313985849C134306372 @default.
- W313985849 hasConceptScore W313985849C153269930 @default.
- W313985849 hasConceptScore W313985849C168773769 @default.
- W313985849 hasConceptScore W313985849C182365436 @default.
- W313985849 hasConceptScore W313985849C192034797 @default.
- W313985849 hasConceptScore W313985849C2776235265 @default.
- W313985849 hasConceptScore W313985849C33923547 @default.
- W313985849 hasConceptScore W313985849C41008148 @default.
- W313985849 hasConceptScore W313985849C6943359 @default.
- W313985849 hasConceptScore W313985849C7342684 @default.
- W313985849 hasLocation W3139858491 @default.
- W313985849 hasLocation W3139858492 @default.
- W313985849 hasLocation W3139858493 @default.
- W313985849 hasLocation W3139858494 @default.
- W313985849 hasOpenAccess W313985849 @default.
- W313985849 hasPrimaryLocation W3139858491 @default.
- W313985849 hasRelatedWork W1483892218 @default.
- W313985849 hasRelatedWork W1543051890 @default.
- W313985849 hasRelatedWork W1835316325 @default.
- W313985849 hasRelatedWork W1880816751 @default.
- W313985849 hasRelatedWork W2167135424 @default.
- W313985849 hasRelatedWork W2951261477 @default.
- W313985849 hasRelatedWork W313985849 @default.
- W313985849 hasRelatedWork W4298065645 @default.
- W313985849 hasRelatedWork W4300858135 @default.
- W313985849 hasRelatedWork W4375870223 @default.
- W313985849 isParatext "false" @default.
- W313985849 isRetracted "false" @default.
- W313985849 magId "313985849" @default.
- W313985849 workType "book-chapter" @default.