Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949203762> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2949203762 abstract "We study the expressive power of fragments of inclusion logic under the so-called lax team semantics. The fragments are defined either by restricting the number of universal quantifiers or the arity of inclusion atoms in formulae. In case of universal quantifiers, the corresponding hierarchy collapses at the first level. Arity hierarchy is shown to be strict by relating the question to the study of arity hierarchies in fixed point logics." @default.
- W2949203762 created "2019-06-27" @default.
- W2949203762 creator A5031183978 @default.
- W2949203762 date "2014-01-14" @default.
- W2949203762 modified "2023-09-25" @default.
- W2949203762 title "Hierarchies in inclusion logic with lax semantics" @default.
- W2949203762 cites W1910036953 @default.
- W2949203762 cites W1949131956 @default.
- W2949203762 cites W1990514682 @default.
- W2949203762 cites W2034690236 @default.
- W2949203762 cites W2072538249 @default.
- W2949203762 cites W2079986269 @default.
- W2949203762 cites W2146830902 @default.
- W2949203762 cites W2169393469 @default.
- W2949203762 cites W2952018559 @default.
- W2949203762 hasPublicationYear "2014" @default.
- W2949203762 type Work @default.
- W2949203762 sameAs 2949203762 @default.
- W2949203762 citedByCount "2" @default.
- W2949203762 countsByYear W29492037622014 @default.
- W2949203762 crossrefType "posted-content" @default.
- W2949203762 hasAuthorship W2949203762A5031183978 @default.
- W2949203762 hasConcept C109359841 @default.
- W2949203762 hasConcept C110546421 @default.
- W2949203762 hasConcept C118615104 @default.
- W2949203762 hasConcept C136119220 @default.
- W2949203762 hasConcept C15744967 @default.
- W2949203762 hasConcept C162324750 @default.
- W2949203762 hasConcept C184337299 @default.
- W2949203762 hasConcept C195818886 @default.
- W2949203762 hasConcept C199360897 @default.
- W2949203762 hasConcept C202444582 @default.
- W2949203762 hasConcept C31170391 @default.
- W2949203762 hasConcept C33923547 @default.
- W2949203762 hasConcept C34447519 @default.
- W2949203762 hasConcept C41008148 @default.
- W2949203762 hasConcept C77805123 @default.
- W2949203762 hasConcept C80444323 @default.
- W2949203762 hasConceptScore W2949203762C109359841 @default.
- W2949203762 hasConceptScore W2949203762C110546421 @default.
- W2949203762 hasConceptScore W2949203762C118615104 @default.
- W2949203762 hasConceptScore W2949203762C136119220 @default.
- W2949203762 hasConceptScore W2949203762C15744967 @default.
- W2949203762 hasConceptScore W2949203762C162324750 @default.
- W2949203762 hasConceptScore W2949203762C184337299 @default.
- W2949203762 hasConceptScore W2949203762C195818886 @default.
- W2949203762 hasConceptScore W2949203762C199360897 @default.
- W2949203762 hasConceptScore W2949203762C202444582 @default.
- W2949203762 hasConceptScore W2949203762C31170391 @default.
- W2949203762 hasConceptScore W2949203762C33923547 @default.
- W2949203762 hasConceptScore W2949203762C34447519 @default.
- W2949203762 hasConceptScore W2949203762C41008148 @default.
- W2949203762 hasConceptScore W2949203762C77805123 @default.
- W2949203762 hasConceptScore W2949203762C80444323 @default.
- W2949203762 hasLocation W29492037621 @default.
- W2949203762 hasOpenAccess W2949203762 @default.
- W2949203762 hasPrimaryLocation W29492037621 @default.
- W2949203762 hasRelatedWork W1575145426 @default.
- W2949203762 hasRelatedWork W1896271104 @default.
- W2949203762 hasRelatedWork W2009215498 @default.
- W2949203762 hasRelatedWork W2016122306 @default.
- W2949203762 hasRelatedWork W2067838189 @default.
- W2949203762 hasRelatedWork W2079986269 @default.
- W2949203762 hasRelatedWork W2103196177 @default.
- W2949203762 hasRelatedWork W2115743638 @default.
- W2949203762 hasRelatedWork W2149200336 @default.
- W2949203762 hasRelatedWork W2149816638 @default.
- W2949203762 hasRelatedWork W2168645260 @default.
- W2949203762 hasRelatedWork W2170251638 @default.
- W2949203762 hasRelatedWork W2224844044 @default.
- W2949203762 hasRelatedWork W2240048967 @default.
- W2949203762 hasRelatedWork W2242473240 @default.
- W2949203762 hasRelatedWork W2252339295 @default.
- W2949203762 hasRelatedWork W2366589994 @default.
- W2949203762 hasRelatedWork W2963241423 @default.
- W2949203762 hasRelatedWork W3040774944 @default.
- W2949203762 hasRelatedWork W3098700911 @default.
- W2949203762 isParatext "false" @default.
- W2949203762 isRetracted "false" @default.
- W2949203762 magId "2949203762" @default.
- W2949203762 workType "article" @default.