Matches in SemOpenAlex for { <https://semopenalex.org/work/W4379256132> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4379256132 abstract "We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic independence logic with the Boolean negation, and a recently introduced logic FOPT. We give a comprehensive picture of the relative expressivity of these logics together with the most studied logics in probabilistic team semantics setting, as well as relating their expressivity to a numerical variant of second-order logic. In addition, we introduce novel entropy atoms and show that the extension of first-order logic by entropy atoms subsumes probabilistic independence logic. Finally, we obtain some results on the complexity of model checking, validity, and satisfiability of our logics." @default.
- W4379256132 created "2023-06-04" @default.
- W4379256132 creator A5011855160 @default.
- W4379256132 creator A5025571978 @default.
- W4379256132 creator A5028381374 @default.
- W4379256132 creator A5031183978 @default.
- W4379256132 creator A5069777444 @default.
- W4379256132 creator A5073358565 @default.
- W4379256132 date "2023-06-01" @default.
- W4379256132 modified "2023-09-25" @default.
- W4379256132 title "Logics with probabilistic team semantics and the Boolean negation" @default.
- W4379256132 doi "https://doi.org/10.48550/arxiv.2306.00420" @default.
- W4379256132 hasPublicationYear "2023" @default.
- W4379256132 type Work @default.
- W4379256132 citedByCount "0" @default.
- W4379256132 crossrefType "posted-content" @default.
- W4379256132 hasAuthorship W4379256132A5011855160 @default.
- W4379256132 hasAuthorship W4379256132A5025571978 @default.
- W4379256132 hasAuthorship W4379256132A5028381374 @default.
- W4379256132 hasAuthorship W4379256132A5031183978 @default.
- W4379256132 hasAuthorship W4379256132A5069777444 @default.
- W4379256132 hasAuthorship W4379256132A5073358565 @default.
- W4379256132 hasBestOaLocation W43792561321 @default.
- W4379256132 hasConcept C154945302 @default.
- W4379256132 hasConcept C1883856 @default.
- W4379256132 hasConcept C199360897 @default.
- W4379256132 hasConcept C2185349 @default.
- W4379256132 hasConcept C33923547 @default.
- W4379256132 hasConcept C41008148 @default.
- W4379256132 hasConcept C42011625 @default.
- W4379256132 hasConcept C49937458 @default.
- W4379256132 hasConcept C58166 @default.
- W4379256132 hasConcept C80444323 @default.
- W4379256132 hasConcept C86602344 @default.
- W4379256132 hasConceptScore W4379256132C154945302 @default.
- W4379256132 hasConceptScore W4379256132C1883856 @default.
- W4379256132 hasConceptScore W4379256132C199360897 @default.
- W4379256132 hasConceptScore W4379256132C2185349 @default.
- W4379256132 hasConceptScore W4379256132C33923547 @default.
- W4379256132 hasConceptScore W4379256132C41008148 @default.
- W4379256132 hasConceptScore W4379256132C42011625 @default.
- W4379256132 hasConceptScore W4379256132C49937458 @default.
- W4379256132 hasConceptScore W4379256132C58166 @default.
- W4379256132 hasConceptScore W4379256132C80444323 @default.
- W4379256132 hasConceptScore W4379256132C86602344 @default.
- W4379256132 hasLocation W43792561321 @default.
- W4379256132 hasOpenAccess W4379256132 @default.
- W4379256132 hasPrimaryLocation W43792561321 @default.
- W4379256132 hasRelatedWork W1497210627 @default.
- W4379256132 hasRelatedWork W1576921484 @default.
- W4379256132 hasRelatedWork W1598283203 @default.
- W4379256132 hasRelatedWork W2024400846 @default.
- W4379256132 hasRelatedWork W2101128881 @default.
- W4379256132 hasRelatedWork W2136946629 @default.
- W4379256132 hasRelatedWork W2141598372 @default.
- W4379256132 hasRelatedWork W3154308639 @default.
- W4379256132 hasRelatedWork W4298162403 @default.
- W4379256132 hasRelatedWork W4300062729 @default.
- W4379256132 isParatext "false" @default.
- W4379256132 isRetracted "false" @default.
- W4379256132 workType "article" @default.