Matches in SemOpenAlex for { <https://semopenalex.org/work/W2970101464> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2970101464 abstract "We call a first-order formula one-dimensional if its every maximal block of existential (universal) quantifiers leaves at most one variable free. We consider the one-dimensional restrictions of the guarded fragment, GF, and the tri-guarded fragment, TGF, the latter being a recent extension of GF in which quantification for subformulas with at most two free variables need not be guarded, and which thus may be seen as a unification of GF and the two-variable fragment, FO2. We denote the resulting formalisms, resp., GF1, and TGF1. We show that GF1 has an exponential model property and NExpTime-complete satisfiability problem (that is, it is easier than full GF). For TGF1 we show that it is decidable, has the finite model property, and its satisfiability problem is TwoExpTime-complete (NExpTime-complete in the absence of equality). All the above-mentioned results are obtained for signatures with no constants. We finally discuss the impact of their addition, observing that constants do not spoil the decidability but increase the complexity of the satisfiability problem." @default.
- W2970101464 created "2019-09-05" @default.
- W2970101464 creator A5090488658 @default.
- W2970101464 date "2019-01-01" @default.
- W2970101464 modified "2023-09-29" @default.
- W2970101464 title "One-Dimensional Guarded Fragments." @default.
- W2970101464 hasPublicationYear "2019" @default.
- W2970101464 type Work @default.
- W2970101464 sameAs 2970101464 @default.
- W2970101464 citedByCount "2" @default.
- W2970101464 countsByYear W29701014642019 @default.
- W2970101464 countsByYear W29701014642021 @default.
- W2970101464 crossrefType "proceedings-article" @default.
- W2970101464 hasAuthorship W2970101464A5090488658 @default.
- W2970101464 hasConcept C11413529 @default.
- W2970101464 hasConcept C114614502 @default.
- W2970101464 hasConcept C118615104 @default.
- W2970101464 hasConcept C153269930 @default.
- W2970101464 hasConcept C168773769 @default.
- W2970101464 hasConcept C199360897 @default.
- W2970101464 hasConcept C2776235265 @default.
- W2970101464 hasConcept C2778029271 @default.
- W2970101464 hasConcept C33923547 @default.
- W2970101464 hasConcept C41008148 @default.
- W2970101464 hasConcept C6943359 @default.
- W2970101464 hasConcept C96146094 @default.
- W2970101464 hasConceptScore W2970101464C11413529 @default.
- W2970101464 hasConceptScore W2970101464C114614502 @default.
- W2970101464 hasConceptScore W2970101464C118615104 @default.
- W2970101464 hasConceptScore W2970101464C153269930 @default.
- W2970101464 hasConceptScore W2970101464C168773769 @default.
- W2970101464 hasConceptScore W2970101464C199360897 @default.
- W2970101464 hasConceptScore W2970101464C2776235265 @default.
- W2970101464 hasConceptScore W2970101464C2778029271 @default.
- W2970101464 hasConceptScore W2970101464C33923547 @default.
- W2970101464 hasConceptScore W2970101464C41008148 @default.
- W2970101464 hasConceptScore W2970101464C6943359 @default.
- W2970101464 hasConceptScore W2970101464C96146094 @default.
- W2970101464 hasLocation W29701014641 @default.
- W2970101464 hasOpenAccess W2970101464 @default.
- W2970101464 hasPrimaryLocation W29701014641 @default.
- W2970101464 hasRelatedWork W1498542449 @default.
- W2970101464 hasRelatedWork W1517830222 @default.
- W2970101464 hasRelatedWork W1600636537 @default.
- W2970101464 hasRelatedWork W1700922650 @default.
- W2970101464 hasRelatedWork W1830696394 @default.
- W2970101464 hasRelatedWork W2003216212 @default.
- W2970101464 hasRelatedWork W2027602125 @default.
- W2970101464 hasRelatedWork W2030359223 @default.
- W2970101464 hasRelatedWork W2042347326 @default.
- W2970101464 hasRelatedWork W2652260735 @default.
- W2970101464 hasRelatedWork W2789687033 @default.
- W2970101464 hasRelatedWork W2936165817 @default.
- W2970101464 hasRelatedWork W2950793275 @default.
- W2970101464 hasRelatedWork W2952193478 @default.
- W2970101464 hasRelatedWork W2952647121 @default.
- W2970101464 hasRelatedWork W2953260080 @default.
- W2970101464 hasRelatedWork W2964047030 @default.
- W2970101464 hasRelatedWork W3152776745 @default.
- W2970101464 hasRelatedWork W3162476872 @default.
- W2970101464 hasRelatedWork W3165398732 @default.
- W2970101464 isParatext "false" @default.
- W2970101464 isRetracted "false" @default.
- W2970101464 magId "2970101464" @default.
- W2970101464 workType "article" @default.