Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890423770> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2890423770 endingPage "23" @default.
- W2890423770 startingPage "1" @default.
- W2890423770 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, the number of inclusion atoms, or the arity of inclusion atoms. We show that the whole expressive power of inclusion logic can be captured using only five inclusion atoms in finite ordered models or, alternatively, only one universal quantifier in general. The arity hierarchy is shown to be strict by relating the question to the study of arity hierarchies in fixed point logics." @default.
- W2890423770 created "2018-09-27" @default.
- W2890423770 creator A5031183978 @default.
- W2890423770 date "2018-07-31" @default.
- W2890423770 modified "2023-09-25" @default.
- W2890423770 title "Hierarchies in Inclusion Logic with Lax Semantics" @default.
- W2890423770 cites W1926269500 @default.
- W2890423770 cites W1970629906 @default.
- W2890423770 cites W1989783863 @default.
- W2890423770 cites W2034690236 @default.
- W2890423770 cites W2036656440 @default.
- W2890423770 cites W2046953414 @default.
- W2890423770 cites W2050480346 @default.
- W2890423770 cites W2070897406 @default.
- W2890423770 cites W2072538249 @default.
- W2890423770 cites W2079986269 @default.
- W2890423770 cites W2088094394 @default.
- W2890423770 cites W2142482847 @default.
- W2890423770 cites W2153017713 @default.
- W2890423770 cites W2169393469 @default.
- W2890423770 cites W2288986418 @default.
- W2890423770 cites W2964104541 @default.
- W2890423770 cites W4213231691 @default.
- W2890423770 cites W4236835455 @default.
- W2890423770 doi "https://doi.org/10.1145/3204521" @default.
- W2890423770 hasPublicationYear "2018" @default.
- W2890423770 type Work @default.
- W2890423770 sameAs 2890423770 @default.
- W2890423770 citedByCount "1" @default.
- W2890423770 countsByYear W28904237702018 @default.
- W2890423770 crossrefType "journal-article" @default.
- W2890423770 hasAuthorship W2890423770A5031183978 @default.
- W2890423770 hasBestOaLocation W28904237702 @default.
- W2890423770 hasConcept C102993220 @default.
- W2890423770 hasConcept C107993555 @default.
- W2890423770 hasConcept C109359841 @default.
- W2890423770 hasConcept C110546421 @default.
- W2890423770 hasConcept C118615104 @default.
- W2890423770 hasConcept C136119220 @default.
- W2890423770 hasConcept C144024400 @default.
- W2890423770 hasConcept C144791301 @default.
- W2890423770 hasConcept C154945302 @default.
- W2890423770 hasConcept C162324750 @default.
- W2890423770 hasConcept C169896238 @default.
- W2890423770 hasConcept C195818886 @default.
- W2890423770 hasConcept C202444582 @default.
- W2890423770 hasConcept C2778523021 @default.
- W2890423770 hasConcept C31170391 @default.
- W2890423770 hasConcept C33923547 @default.
- W2890423770 hasConcept C34447519 @default.
- W2890423770 hasConcept C41008148 @default.
- W2890423770 hasConcept C80444323 @default.
- W2890423770 hasConceptScore W2890423770C102993220 @default.
- W2890423770 hasConceptScore W2890423770C107993555 @default.
- W2890423770 hasConceptScore W2890423770C109359841 @default.
- W2890423770 hasConceptScore W2890423770C110546421 @default.
- W2890423770 hasConceptScore W2890423770C118615104 @default.
- W2890423770 hasConceptScore W2890423770C136119220 @default.
- W2890423770 hasConceptScore W2890423770C144024400 @default.
- W2890423770 hasConceptScore W2890423770C144791301 @default.
- W2890423770 hasConceptScore W2890423770C154945302 @default.
- W2890423770 hasConceptScore W2890423770C162324750 @default.
- W2890423770 hasConceptScore W2890423770C169896238 @default.
- W2890423770 hasConceptScore W2890423770C195818886 @default.
- W2890423770 hasConceptScore W2890423770C202444582 @default.
- W2890423770 hasConceptScore W2890423770C2778523021 @default.
- W2890423770 hasConceptScore W2890423770C31170391 @default.
- W2890423770 hasConceptScore W2890423770C33923547 @default.
- W2890423770 hasConceptScore W2890423770C34447519 @default.
- W2890423770 hasConceptScore W2890423770C41008148 @default.
- W2890423770 hasConceptScore W2890423770C80444323 @default.
- W2890423770 hasIssue "3" @default.
- W2890423770 hasLocation W28904237701 @default.
- W2890423770 hasLocation W28904237702 @default.
- W2890423770 hasLocation W28904237703 @default.
- W2890423770 hasOpenAccess W2890423770 @default.
- W2890423770 hasPrimaryLocation W28904237701 @default.
- W2890423770 hasRelatedWork W1482507836 @default.
- W2890423770 hasRelatedWork W1506160289 @default.
- W2890423770 hasRelatedWork W2007091370 @default.
- W2890423770 hasRelatedWork W2016122306 @default.
- W2890423770 hasRelatedWork W2149816638 @default.
- W2890423770 hasRelatedWork W2610950376 @default.
- W2890423770 hasRelatedWork W2890423770 @default.
- W2890423770 hasRelatedWork W2912942225 @default.
- W2890423770 hasRelatedWork W3105177756 @default.
- W2890423770 hasRelatedWork W2583825190 @default.
- W2890423770 hasVolume "19" @default.
- W2890423770 isParatext "false" @default.
- W2890423770 isRetracted "false" @default.
- W2890423770 magId "2890423770" @default.
- W2890423770 workType "article" @default.