Matches in SemOpenAlex for { <https://semopenalex.org/work/W2531234554> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2531234554 abstract "We study an extension of FO2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables. We adjoin to this language two-variable atomic formulas that say, ‘the letter a appears between positions x and y’. This is, in a sense, the simplest property that is not expressible using only two variables.We present several logics, both first-order and temporal, that have the same expressive power, and find matching lower and upper bounds for the complexity of satisfiability for each of these formulations. We also give an effective necessary condition, in terms of the syntactic monoid of a regular language, for a property to be expressible in this logic. We show that this condition is also sufficient for words over a two-letter alphabet. This algebraic analysis allows us us to prove, among other things, that our new logic has strictly less expressive power than full first-order logic FO[<]." @default.
- W2531234554 created "2016-10-21" @default.
- W2531234554 creator A5009780838 @default.
- W2531234554 creator A5011977613 @default.
- W2531234554 creator A5027806769 @default.
- W2531234554 creator A5084561937 @default.
- W2531234554 date "2016-07-05" @default.
- W2531234554 modified "2023-09-25" @default.
- W2531234554 title "Two-variable Logic with a Between Relation" @default.
- W2531234554 cites W1970755596 @default.
- W2531234554 cites W2003227046 @default.
- W2531234554 cites W2026713735 @default.
- W2531234554 cites W2030263557 @default.
- W2531234554 cites W2034847619 @default.
- W2531234554 cites W2038638040 @default.
- W2531234554 cites W2047822387 @default.
- W2531234554 cites W2053510959 @default.
- W2531234554 cites W2065930159 @default.
- W2531234554 cites W2079162006 @default.
- W2531234554 cites W2104419987 @default.
- W2531234554 cites W2116250539 @default.
- W2531234554 cites W2131159347 @default.
- W2531234554 cites W2293422809 @default.
- W2531234554 doi "https://doi.org/10.1145/2933575.2935308" @default.
- W2531234554 hasPublicationYear "2016" @default.
- W2531234554 type Work @default.
- W2531234554 sameAs 2531234554 @default.
- W2531234554 citedByCount "8" @default.
- W2531234554 countsByYear W25312345542017 @default.
- W2531234554 countsByYear W25312345542019 @default.
- W2531234554 countsByYear W25312345542020 @default.
- W2531234554 countsByYear W25312345542021 @default.
- W2531234554 crossrefType "proceedings-article" @default.
- W2531234554 hasAuthorship W2531234554A5009780838 @default.
- W2531234554 hasAuthorship W2531234554A5011977613 @default.
- W2531234554 hasAuthorship W2531234554A5027806769 @default.
- W2531234554 hasAuthorship W2531234554A5084561937 @default.
- W2531234554 hasConcept C124101348 @default.
- W2531234554 hasConcept C134306372 @default.
- W2531234554 hasConcept C182365436 @default.
- W2531234554 hasConcept C25343380 @default.
- W2531234554 hasConcept C33923547 @default.
- W2531234554 hasConcept C41008148 @default.
- W2531234554 hasConceptScore W2531234554C124101348 @default.
- W2531234554 hasConceptScore W2531234554C134306372 @default.
- W2531234554 hasConceptScore W2531234554C182365436 @default.
- W2531234554 hasConceptScore W2531234554C25343380 @default.
- W2531234554 hasConceptScore W2531234554C33923547 @default.
- W2531234554 hasConceptScore W2531234554C41008148 @default.
- W2531234554 hasLocation W25312345541 @default.
- W2531234554 hasOpenAccess W2531234554 @default.
- W2531234554 hasPrimaryLocation W25312345541 @default.
- W2531234554 hasRelatedWork W1854318547 @default.
- W2531234554 hasRelatedWork W2011205065 @default.
- W2531234554 hasRelatedWork W2362553083 @default.
- W2531234554 hasRelatedWork W2368065872 @default.
- W2531234554 hasRelatedWork W2386369021 @default.
- W2531234554 hasRelatedWork W2528512298 @default.
- W2531234554 hasRelatedWork W2621591459 @default.
- W2531234554 hasRelatedWork W2790903936 @default.
- W2531234554 hasRelatedWork W2951945830 @default.
- W2531234554 hasRelatedWork W856697699 @default.
- W2531234554 isParatext "false" @default.
- W2531234554 isRetracted "false" @default.
- W2531234554 magId "2531234554" @default.
- W2531234554 workType "article" @default.