FRINK Linked Data Fragments server

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

• W2949706615 abstract "Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity problems of these logics. We identify complexity bounds for both problems, covering both lax and strict team semantics. By doing so, we come close to finalising the programme that ultimately aims to classify the complexities of the central reasoning problems for modal and propositional dependence, independence, and inclusion logics." @default.
• W2949706615 created "2019-06-27" @default.
• W2949706615 creator A5025571978 @default.
• W2949706615 creator A5059829668 @default.
• W2949706615 creator A5073358565 @default.
• W2949706615 creator A5078573449 @default.
• W2949706615 date "2016-09-22" @default.
• W2949706615 modified "2023-09-25" @default.
• W2949706615 title "Model Checking and Validity in Propositional and Modal Inclusion Logics" @default.
• W2949706615 cites W1866049941 @default.
• W2949706615 cites W189948524 @default.
• W2949706615 cites W1901350436 @default.
• W2949706615 cites W1973302434 @default.
• W2949706615 cites W1982347904 @default.
• W2949706615 cites W1990514682 @default.
• W2949706615 cites W1998084650 @default.
• W2949706615 cites W2003216212 @default.
• W2949706615 cites W2011039300 @default.
• W2949706615 cites W2034690236 @default.
• W2949706615 cites W2036265926 @default.
• W2949706615 cites W2038247515 @default.
• W2949706615 cites W2073491323 @default.
• W2949706615 cites W2137379463 @default.
• W2949706615 cites W2156038678 @default.
• W2949706615 cites W2294994226 @default.
• W2949706615 cites W2950316813 @default.
• W2949706615 cites W2963562820 @default.
• W2949706615 cites W83792636 @default.
• W2949706615 hasPublicationYear "2016" @default.
• W2949706615 type Work @default.
• W2949706615 sameAs 2949706615 @default.
• W2949706615 citedByCount "2" @default.
• W2949706615 countsByYear W29497066152015 @default.
• W2949706615 countsByYear W29497066152017 @default.
• W2949706615 crossrefType "posted-content" @default.
• W2949706615 hasAuthorship W2949706615A5025571978 @default.
• W2949706615 hasAuthorship W2949706615A5059829668 @default.
• W2949706615 hasAuthorship W2949706615A5073358565 @default.
• W2949706615 hasAuthorship W2949706615A5078573449 @default.
• W2949706615 hasConcept C102993220 @default.
• W2949706615 hasConcept C105795698 @default.
• W2949706615 hasConcept C109359841 @default.
• W2949706615 hasConcept C11191006 @default.
• W2949706615 hasConcept C14523651 @default.
• W2949706615 hasConcept C154945302 @default.
• W2949706615 hasConcept C15744967 @default.
• W2949706615 hasConcept C160131679 @default.
• W2949706615 hasConcept C171018156 @default.
• W2949706615 hasConcept C173125200 @default.
• W2949706615 hasConcept C184337299 @default.
• W2949706615 hasConcept C185592680 @default.
• W2949706615 hasConcept C188027245 @default.
• W2949706615 hasConcept C199360897 @default.
• W2949706615 hasConcept C203659156 @default.
• W2949706615 hasConcept C2524010 @default.
• W2949706615 hasConcept C27508121 @default.
• W2949706615 hasConcept C33203268 @default.
• W2949706615 hasConcept C33923547 @default.
• W2949706615 hasConcept C35651441 @default.
• W2949706615 hasConcept C41008148 @default.
• W2949706615 hasConcept C42011625 @default.
• W2949706615 hasConcept C5263885 @default.
• W2949706615 hasConcept C58166 @default.
• W2949706615 hasConcept C71139939 @default.
• W2949706615 hasConcept C77805123 @default.
• W2949706615 hasConcept C80444323 @default.
• W2949706615 hasConcept C86602344 @default.
• W2949706615 hasConceptScore W2949706615C102993220 @default.
• W2949706615 hasConceptScore W2949706615C105795698 @default.
• W2949706615 hasConceptScore W2949706615C109359841 @default.
• W2949706615 hasConceptScore W2949706615C11191006 @default.
• W2949706615 hasConceptScore W2949706615C14523651 @default.
• W2949706615 hasConceptScore W2949706615C154945302 @default.
• W2949706615 hasConceptScore W2949706615C15744967 @default.
• W2949706615 hasConceptScore W2949706615C160131679 @default.
• W2949706615 hasConceptScore W2949706615C171018156 @default.
• W2949706615 hasConceptScore W2949706615C173125200 @default.
• W2949706615 hasConceptScore W2949706615C184337299 @default.
• W2949706615 hasConceptScore W2949706615C185592680 @default.
• W2949706615 hasConceptScore W2949706615C188027245 @default.
• W2949706615 hasConceptScore W2949706615C199360897 @default.
• W2949706615 hasConceptScore W2949706615C203659156 @default.
• W2949706615 hasConceptScore W2949706615C2524010 @default.
• W2949706615 hasConceptScore W2949706615C27508121 @default.
• W2949706615 hasConceptScore W2949706615C33203268 @default.
• W2949706615 hasConceptScore W2949706615C33923547 @default.
• W2949706615 hasConceptScore W2949706615C35651441 @default.
• W2949706615 hasConceptScore W2949706615C41008148 @default.
• W2949706615 hasConceptScore W2949706615C42011625 @default.
• W2949706615 hasConceptScore W2949706615C5263885 @default.
• W2949706615 hasConceptScore W2949706615C58166 @default.
• W2949706615 hasConceptScore W2949706615C71139939 @default.
• W2949706615 hasConceptScore W2949706615C77805123 @default.
• W2949706615 hasConceptScore W2949706615C80444323 @default.
• W2949706615 hasConceptScore W2949706615C86602344 @default.
• W2949706615 hasLocation W29497066151 @default.
• W2949706615 hasOpenAccess W2949706615 @default.
• W2949706615 hasPrimaryLocation W29497066151 @default.
• W2949706615 hasRelatedWork W1448681095 @default.
• W2949706615 hasRelatedWork W1489615098 @default.

• next