Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007155273> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2007155273 endingPage "574" @default.
- W2007155273 startingPage "545" @default.
- W2007155273 abstract "Abstract We here examine the expressive power of first order logic with generalized quantifiers over finite ordered structures. In particular, we address the following problem: Given a family Q of generalized quantifiers expressing a complexity class C , what is the expressive power of first order logic FO( Q ) extended by the quantifiers in Q ? From previously studied examples, one would expect that FO( Q ) captures L C , i.e., logarithmic space relativized to an oracle in C . We show that this is not always true. However, after studying the problem from a general point of view, we derive sufficient conditions on C such that FO( Q ) captures L C . These conditions are fulfilled by a large number of relevant complexity classes, in particular, for example, by NP . As an application of this result, it follows that first order logic extended by Henkin quantifiers captures L NP . This answers a question raised by Blass and Gurevich [Ann. Pure Appl. Logic, vol. 32, 1986]. Furthermore we show that for many families Q of generalized quantifiers (including the family of Henkin quantifiers), each FO( Q )-formula can be replaced by an equivalent FO( Q )-formula with only two occurrences of generalized quantifiers. This generalizes and extends an earlier normal-form result by I. A. Stewart [Fundamenta Inform, vol. 18, 1993]." @default.
- W2007155273 created "2016-06-24" @default.
- W2007155273 creator A5050151740 @default.
- W2007155273 date "1997-06-01" @default.
- W2007155273 modified "2023-09-26" @default.
- W2007155273 title "Relativized logspace and generalized quantifiers over finite ordered structures" @default.
- W2007155273 cites W100012220 @default.
- W2007155273 cites W126455252 @default.
- W2007155273 cites W1590283810 @default.
- W2007155273 cites W1970629906 @default.
- W2007155273 cites W1978001037 @default.
- W2007155273 cites W1980326341 @default.
- W2007155273 cites W1986203294 @default.
- W2007155273 cites W1988735961 @default.
- W2007155273 cites W1991109776 @default.
- W2007155273 cites W2007483355 @default.
- W2007155273 cites W2007569718 @default.
- W2007155273 cites W2015413218 @default.
- W2007155273 cites W2031411912 @default.
- W2007155273 cites W2038222783 @default.
- W2007155273 cites W2043360684 @default.
- W2007155273 cites W2058277150 @default.
- W2007155273 cites W2065546707 @default.
- W2007155273 cites W2076662767 @default.
- W2007155273 cites W2083018613 @default.
- W2007155273 cites W2087201356 @default.
- W2007155273 cites W2121714568 @default.
- W2007155273 cites W2149736013 @default.
- W2007155273 cites W2476740399 @default.
- W2007155273 cites W4238805097 @default.
- W2007155273 cites W4243643814 @default.
- W2007155273 doi "https://doi.org/10.2307/2275546" @default.
- W2007155273 hasPublicationYear "1997" @default.
- W2007155273 type Work @default.
- W2007155273 sameAs 2007155273 @default.
- W2007155273 citedByCount "31" @default.
- W2007155273 countsByYear W20071552732017 @default.
- W2007155273 countsByYear W20071552732021 @default.
- W2007155273 crossrefType "journal-article" @default.
- W2007155273 hasAuthorship W2007155273A5050151740 @default.
- W2007155273 hasConcept C100481476 @default.
- W2007155273 hasConcept C10138342 @default.
- W2007155273 hasConcept C114614502 @default.
- W2007155273 hasConcept C115903868 @default.
- W2007155273 hasConcept C118615104 @default.
- W2007155273 hasConcept C133142742 @default.
- W2007155273 hasConcept C136119220 @default.
- W2007155273 hasConcept C154945302 @default.
- W2007155273 hasConcept C162324750 @default.
- W2007155273 hasConcept C182306322 @default.
- W2007155273 hasConcept C195818886 @default.
- W2007155273 hasConcept C202444582 @default.
- W2007155273 hasConcept C2777212361 @default.
- W2007155273 hasConcept C311688 @default.
- W2007155273 hasConcept C33923547 @default.
- W2007155273 hasConcept C39637292 @default.
- W2007155273 hasConcept C41008148 @default.
- W2007155273 hasConcept C55166926 @default.
- W2007155273 hasConcept C80444323 @default.
- W2007155273 hasConceptScore W2007155273C100481476 @default.
- W2007155273 hasConceptScore W2007155273C10138342 @default.
- W2007155273 hasConceptScore W2007155273C114614502 @default.
- W2007155273 hasConceptScore W2007155273C115903868 @default.
- W2007155273 hasConceptScore W2007155273C118615104 @default.
- W2007155273 hasConceptScore W2007155273C133142742 @default.
- W2007155273 hasConceptScore W2007155273C136119220 @default.
- W2007155273 hasConceptScore W2007155273C154945302 @default.
- W2007155273 hasConceptScore W2007155273C162324750 @default.
- W2007155273 hasConceptScore W2007155273C182306322 @default.
- W2007155273 hasConceptScore W2007155273C195818886 @default.
- W2007155273 hasConceptScore W2007155273C202444582 @default.
- W2007155273 hasConceptScore W2007155273C2777212361 @default.
- W2007155273 hasConceptScore W2007155273C311688 @default.
- W2007155273 hasConceptScore W2007155273C33923547 @default.
- W2007155273 hasConceptScore W2007155273C39637292 @default.
- W2007155273 hasConceptScore W2007155273C41008148 @default.
- W2007155273 hasConceptScore W2007155273C55166926 @default.
- W2007155273 hasConceptScore W2007155273C80444323 @default.
- W2007155273 hasIssue "2" @default.
- W2007155273 hasLocation W20071552731 @default.
- W2007155273 hasOpenAccess W2007155273 @default.
- W2007155273 hasPrimaryLocation W20071552731 @default.
- W2007155273 hasRelatedWork W1831301291 @default.
- W2007155273 hasRelatedWork W2007155273 @default.
- W2007155273 hasRelatedWork W2120210041 @default.
- W2007155273 hasRelatedWork W2144552594 @default.
- W2007155273 hasRelatedWork W2149816638 @default.
- W2007155273 hasRelatedWork W2168681835 @default.
- W2007155273 hasRelatedWork W2733475486 @default.
- W2007155273 hasRelatedWork W3098927428 @default.
- W2007155273 hasRelatedWork W4307308515 @default.
- W2007155273 hasRelatedWork W2125162033 @default.
- W2007155273 hasVolume "62" @default.
- W2007155273 isParatext "false" @default.
- W2007155273 isRetracted "false" @default.
- W2007155273 magId "2007155273" @default.
- W2007155273 workType "article" @default.