FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110257077> ?p ?o ?g. }

• W2110257077 endingPage "305" @default.
• W2110257077 startingPage "289" @default.
• W2110257077 abstract "We study the extension of dependence logic $$mathcal {D}$$ by a majority quantifier $$mathsf{M}$$ over finite structures. We show that the resulting logic is equi-expressive with the extension of second-order logic by second-order majority quantifiers of all arities. Our results imply that, from the point of view of descriptive complexity theory, $$mathcal {D}(mathsf{M})$$ captures the complexity class counting hierarchy. We also obtain characterizations of the individual levels of the counting hierarchy by fragments of $$mathcal {D}(mathsf{M})$$ ." @default.
• W2110257077 created "2016-06-24" @default.
• W2110257077 creator A5008982209 @default.
• W2110257077 creator A5048997733 @default.
• W2110257077 creator A5059509786 @default.
• W2110257077 creator A5069777444 @default.
• W2110257077 date "2015-06-25" @default.
• W2110257077 modified "2023-09-30" @default.
• W2110257077 title "Dependence Logic with a Majority Quantifier" @default.
• W2110257077 cites W1926269500 @default.
• W2110257077 cites W1983193342 @default.
• W2110257077 cites W1989159237 @default.
• W2110257077 cites W2003216212 @default.
• W2110257077 cites W2007760364 @default.
• W2110257077 cites W2016122306 @default.
• W2110257077 cites W2020983073 @default.
• W2110257077 cites W2033323875 @default.
• W2110257077 cites W2034690236 @default.
• W2110257077 cites W2036854684 @default.
• W2110257077 cites W2039822084 @default.
• W2110257077 cites W2050190588 @default.
• W2110257077 cites W2070897406 @default.
• W2110257077 cites W2082972831 @default.
• W2110257077 cites W2085743552 @default.
• W2110257077 cites W2137407595 @default.
• W2110257077 cites W2153017713 @default.
• W2110257077 cites W2156038678 @default.
• W2110257077 cites W2169453869 @default.
• W2110257077 cites W2497963692 @default.
• W2110257077 cites W3102477048 @default.
• W2110257077 cites W41330591 @default.
• W2110257077 cites W4247915068 @default.
• W2110257077 cites W4252380885 @default.
• W2110257077 cites W4252933876 @default.
• W2110257077 doi "https://doi.org/10.1007/s10849-015-9218-3" @default.
• W2110257077 hasPublicationYear "2015" @default.
• W2110257077 type Work @default.
• W2110257077 sameAs 2110257077 @default.
• W2110257077 citedByCount "3" @default.
• W2110257077 countsByYear W21102570772016 @default.
• W2110257077 countsByYear W21102570772019 @default.
• W2110257077 crossrefType "journal-article" @default.
• W2110257077 hasAuthorship W2110257077A5008982209 @default.
• W2110257077 hasAuthorship W2110257077A5048997733 @default.
• W2110257077 hasAuthorship W2110257077A5059509786 @default.
• W2110257077 hasAuthorship W2110257077A5069777444 @default.
• W2110257077 hasBestOaLocation W21102570772 @default.
• W2110257077 hasConcept C10138342 @default.
• W2110257077 hasConcept C102993220 @default.
• W2110257077 hasConcept C114614502 @default.
• W2110257077 hasConcept C118615104 @default.
• W2110257077 hasConcept C133142742 @default.
• W2110257077 hasConcept C144791301 @default.
• W2110257077 hasConcept C154945302 @default.
• W2110257077 hasConcept C162324750 @default.
• W2110257077 hasConcept C169896238 @default.
• W2110257077 hasConcept C182306322 @default.
• W2110257077 hasConcept C199360897 @default.
• W2110257077 hasConcept C2524010 @default.
• W2110257077 hasConcept C2777212361 @default.
• W2110257077 hasConcept C2778029271 @default.
• W2110257077 hasConcept C2778523021 @default.
• W2110257077 hasConcept C28719098 @default.
• W2110257077 hasConcept C311688 @default.
• W2110257077 hasConcept C31170391 @default.
• W2110257077 hasConcept C32278780 @default.
• W2110257077 hasConcept C33923547 @default.
• W2110257077 hasConcept C34447519 @default.
• W2110257077 hasConcept C39637292 @default.
• W2110257077 hasConcept C41008148 @default.
• W2110257077 hasConcept C80444323 @default.
• W2110257077 hasConceptScore W2110257077C10138342 @default.
• W2110257077 hasConceptScore W2110257077C102993220 @default.
• W2110257077 hasConceptScore W2110257077C114614502 @default.
• W2110257077 hasConceptScore W2110257077C118615104 @default.
• W2110257077 hasConceptScore W2110257077C133142742 @default.
• W2110257077 hasConceptScore W2110257077C144791301 @default.
• W2110257077 hasConceptScore W2110257077C154945302 @default.
• W2110257077 hasConceptScore W2110257077C162324750 @default.
• W2110257077 hasConceptScore W2110257077C169896238 @default.
• W2110257077 hasConceptScore W2110257077C182306322 @default.
• W2110257077 hasConceptScore W2110257077C199360897 @default.
• W2110257077 hasConceptScore W2110257077C2524010 @default.
• W2110257077 hasConceptScore W2110257077C2777212361 @default.
• W2110257077 hasConceptScore W2110257077C2778029271 @default.
• W2110257077 hasConceptScore W2110257077C2778523021 @default.
• W2110257077 hasConceptScore W2110257077C28719098 @default.
• W2110257077 hasConceptScore W2110257077C311688 @default.
• W2110257077 hasConceptScore W2110257077C31170391 @default.
• W2110257077 hasConceptScore W2110257077C32278780 @default.
• W2110257077 hasConceptScore W2110257077C33923547 @default.
• W2110257077 hasConceptScore W2110257077C34447519 @default.
• W2110257077 hasConceptScore W2110257077C39637292 @default.
• W2110257077 hasConceptScore W2110257077C41008148 @default.
• W2110257077 hasConceptScore W2110257077C80444323 @default.
• W2110257077 hasIssue "3" @default.
• W2110257077 hasLocation W21102570771 @default.
• W2110257077 hasLocation W21102570772 @default.

• next