Search papers, labs, and topics across Lattice.
1
0
2
Cumulative propositional dependence logics, foundational to System C, can be precisely modeled using existing cumulative models, while team semantics require asymmetric models.
