1 citations · 1 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Weighted GKAT: Completeness and Complexity
Spencer Van Koevering, Wojciech Różowski, Alexandra Silva
We propose Weighted Guarded Kleene Algebra with Tests (wGKAT), an uninterpreted weighted programming language equipped with branching, conditionals, and loops. We provide an operat…
cs.LO2024
A Categorical Approach to DIBI Models
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…