Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300620194> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4300620194 abstract "We consider the four fragments FO2, the intersection of Sigma2 and FO2, the intersection of Pi2 and FO2, and Delta2 of first-order logic FO[<] over finite and infinite words. For all four fragments, we give characterizations in terms of rankers. In particular, we generalize the notion of a ranker to infinite words in two possible ways. Both extensions are natural in the sense that over finite words, they coincide with classical rankers and over infinite words, they both have the full expressive power of FO2. Moreover, the first extension of rankers admits a characterization of the intersection of Sigma2 and FO2 while the other leads to a characterization of the intersection of Pi2 and FO2. Both versions of rankers yield characterizations of the fragment Delta2. As a byproduct, we also obtain characterizations based on unambiguous temporal logic and unambiguous interval temporal logic." @default.
- W4300620194 created "2022-10-03" @default.
- W4300620194 creator A5030319034 @default.
- W4300620194 creator A5055386769 @default.
- W4300620194 creator A5069132150 @default.
- W4300620194 date "2010-05-04" @default.
- W4300620194 modified "2023-09-29" @default.
- W4300620194 title "Rankers over Infinite Words" @default.
- W4300620194 doi "https://doi.org/10.48550/arxiv.1005.0505" @default.
- W4300620194 hasPublicationYear "2010" @default.
- W4300620194 type Work @default.
- W4300620194 citedByCount "0" @default.
- W4300620194 crossrefType "posted-content" @default.
- W4300620194 hasAuthorship W4300620194A5030319034 @default.
- W4300620194 hasAuthorship W4300620194A5055386769 @default.
- W4300620194 hasAuthorship W4300620194A5069132150 @default.
- W4300620194 hasBestOaLocation W43006201941 @default.
- W4300620194 hasConcept C11413529 @default.
- W4300620194 hasConcept C118615104 @default.
- W4300620194 hasConcept C120665830 @default.
- W4300620194 hasConcept C121332964 @default.
- W4300620194 hasConcept C127413603 @default.
- W4300620194 hasConcept C146978453 @default.
- W4300620194 hasConcept C195818886 @default.
- W4300620194 hasConcept C199360897 @default.
- W4300620194 hasConcept C2776235265 @default.
- W4300620194 hasConcept C2778029271 @default.
- W4300620194 hasConcept C2780841128 @default.
- W4300620194 hasConcept C33923547 @default.
- W4300620194 hasConcept C41008148 @default.
- W4300620194 hasConcept C64543145 @default.
- W4300620194 hasConcept C80444323 @default.
- W4300620194 hasConceptScore W4300620194C11413529 @default.
- W4300620194 hasConceptScore W4300620194C118615104 @default.
- W4300620194 hasConceptScore W4300620194C120665830 @default.
- W4300620194 hasConceptScore W4300620194C121332964 @default.
- W4300620194 hasConceptScore W4300620194C127413603 @default.
- W4300620194 hasConceptScore W4300620194C146978453 @default.
- W4300620194 hasConceptScore W4300620194C195818886 @default.
- W4300620194 hasConceptScore W4300620194C199360897 @default.
- W4300620194 hasConceptScore W4300620194C2776235265 @default.
- W4300620194 hasConceptScore W4300620194C2778029271 @default.
- W4300620194 hasConceptScore W4300620194C2780841128 @default.
- W4300620194 hasConceptScore W4300620194C33923547 @default.
- W4300620194 hasConceptScore W4300620194C41008148 @default.
- W4300620194 hasConceptScore W4300620194C64543145 @default.
- W4300620194 hasConceptScore W4300620194C80444323 @default.
- W4300620194 hasLocation W43006201941 @default.
- W4300620194 hasLocation W43006201942 @default.
- W4300620194 hasLocation W43006201943 @default.
- W4300620194 hasLocation W43006201944 @default.
- W4300620194 hasOpenAccess W4300620194 @default.
- W4300620194 hasPrimaryLocation W43006201941 @default.
- W4300620194 hasRelatedWork W2016543700 @default.
- W4300620194 hasRelatedWork W2025112185 @default.
- W4300620194 hasRelatedWork W2091331052 @default.
- W4300620194 hasRelatedWork W2352495365 @default.
- W4300620194 hasRelatedWork W2367121990 @default.
- W4300620194 hasRelatedWork W2468796127 @default.
- W4300620194 hasRelatedWork W2998485758 @default.
- W4300620194 hasRelatedWork W3110684146 @default.
- W4300620194 hasRelatedWork W3142485698 @default.
- W4300620194 hasRelatedWork W4251067554 @default.
- W4300620194 isParatext "false" @default.
- W4300620194 isRetracted "false" @default.
- W4300620194 workType "article" @default.