1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Tao Gu, Jialu Bao, Justin Hsu +2
The logic of Dependence and Independence Bunched Implications (DIBI) is a logic to reason about conditional independence (CI); for instance, DIBI formulas can characterise CI in pr…