Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950293817> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2950293817 abstract "We study the extension of dependence logic D by a majority quantifier 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, D(M) captures the complexity class counting hierarchy." @default.
- W2950293817 created "2019-06-27" @default.
- W2950293817 creator A5008982209 @default.
- W2950293817 creator A5048997733 @default.
- W2950293817 creator A5059509786 @default.
- W2950293817 creator A5069777444 @default.
- W2950293817 date "2011-09-22" @default.
- W2950293817 modified "2023-09-25" @default.
- W2950293817 title "Dependence logic with a majority quantifier" @default.
- W2950293817 cites W1573233002 @default.
- W2950293817 cites W1926269500 @default.
- W2950293817 cites W2039822084 @default.
- W2950293817 cites W2085743552 @default.
- W2950293817 cites W2137407595 @default.
- W2950293817 cites W2153017713 @default.
- W2950293817 cites W2156038678 @default.
- W2950293817 cites W288370066 @default.
- W2950293817 cites W2950493050 @default.
- W2950293817 cites W83792636 @default.
- W2950293817 hasPublicationYear "2011" @default.
- W2950293817 type Work @default.
- W2950293817 sameAs 2950293817 @default.
- W2950293817 citedByCount "0" @default.
- W2950293817 crossrefType "posted-content" @default.
- W2950293817 hasAuthorship W2950293817A5008982209 @default.
- W2950293817 hasAuthorship W2950293817A5048997733 @default.
- W2950293817 hasAuthorship W2950293817A5059509786 @default.
- W2950293817 hasAuthorship W2950293817A5069777444 @default.
- W2950293817 hasConcept C102993220 @default.
- W2950293817 hasConcept C118615104 @default.
- W2950293817 hasConcept C133142742 @default.
- W2950293817 hasConcept C136119220 @default.
- W2950293817 hasConcept C144791301 @default.
- W2950293817 hasConcept C154945302 @default.
- W2950293817 hasConcept C162324750 @default.
- W2950293817 hasConcept C169896238 @default.
- W2950293817 hasConcept C199360897 @default.
- W2950293817 hasConcept C202444582 @default.
- W2950293817 hasConcept C2777212361 @default.
- W2950293817 hasConcept C2778029271 @default.
- W2950293817 hasConcept C2778523021 @default.
- W2950293817 hasConcept C311688 @default.
- W2950293817 hasConcept C31170391 @default.
- W2950293817 hasConcept C32278780 @default.
- W2950293817 hasConcept C33923547 @default.
- W2950293817 hasConcept C34447519 @default.
- W2950293817 hasConcept C41008148 @default.
- W2950293817 hasConcept C80444323 @default.
- W2950293817 hasConceptScore W2950293817C102993220 @default.
- W2950293817 hasConceptScore W2950293817C118615104 @default.
- W2950293817 hasConceptScore W2950293817C133142742 @default.
- W2950293817 hasConceptScore W2950293817C136119220 @default.
- W2950293817 hasConceptScore W2950293817C144791301 @default.
- W2950293817 hasConceptScore W2950293817C154945302 @default.
- W2950293817 hasConceptScore W2950293817C162324750 @default.
- W2950293817 hasConceptScore W2950293817C169896238 @default.
- W2950293817 hasConceptScore W2950293817C199360897 @default.
- W2950293817 hasConceptScore W2950293817C202444582 @default.
- W2950293817 hasConceptScore W2950293817C2777212361 @default.
- W2950293817 hasConceptScore W2950293817C2778029271 @default.
- W2950293817 hasConceptScore W2950293817C2778523021 @default.
- W2950293817 hasConceptScore W2950293817C311688 @default.
- W2950293817 hasConceptScore W2950293817C31170391 @default.
- W2950293817 hasConceptScore W2950293817C32278780 @default.
- W2950293817 hasConceptScore W2950293817C33923547 @default.
- W2950293817 hasConceptScore W2950293817C34447519 @default.
- W2950293817 hasConceptScore W2950293817C41008148 @default.
- W2950293817 hasConceptScore W2950293817C80444323 @default.
- W2950293817 hasLocation W29502938171 @default.
- W2950293817 hasOpenAccess W2950293817 @default.
- W2950293817 hasPrimaryLocation W29502938171 @default.
- W2950293817 hasRelatedWork W1543130152 @default.
- W2950293817 hasRelatedWork W1607580303 @default.
- W2950293817 hasRelatedWork W1755189310 @default.
- W2950293817 hasRelatedWork W1888128996 @default.
- W2950293817 hasRelatedWork W2016122306 @default.
- W2950293817 hasRelatedWork W2041436952 @default.
- W2950293817 hasRelatedWork W2077145135 @default.
- W2950293817 hasRelatedWork W2079986269 @default.
- W2950293817 hasRelatedWork W2085743552 @default.
- W2950293817 hasRelatedWork W2092107489 @default.
- W2950293817 hasRelatedWork W2106500118 @default.
- W2950293817 hasRelatedWork W2149816638 @default.
- W2950293817 hasRelatedWork W2152035036 @default.
- W2950293817 hasRelatedWork W2165633323 @default.
- W2950293817 hasRelatedWork W2168681835 @default.
- W2950293817 hasRelatedWork W2170251638 @default.
- W2950293817 hasRelatedWork W2178865018 @default.
- W2950293817 hasRelatedWork W2338270372 @default.
- W2950293817 hasRelatedWork W2950290821 @default.
- W2950293817 hasRelatedWork W2962733163 @default.
- W2950293817 isParatext "false" @default.
- W2950293817 isRetracted "false" @default.
- W2950293817 magId "2950293817" @default.
- W2950293817 workType "article" @default.