A bunched logic for conditional independence

DOI10.1109/LICS52264.2021.9470712MaRDI QIDQ6651946zbMATH OpenFDO

Authors

Publication date 11 December 2024

Full work available at URL https://doi.org/10.1109/LICS52264.2021.9470712

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(6)

• A categorical approach to DIBI models
• Equivalence and conditional independence in atomic sheaf logic
• A nominal approach to probabilistic separation logic
• Equivalence and conditional independence in atomic sheaf logic
• Compositional inference for Bayesian networks and causality
• Safety, relative tightness and the probabilistic frame rule

This page was built for publication: A bunched logic for conditional independence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6651946)