2 papers
cs.LO2026
On the Complexity of Entailment for Cumulative Propositional Dependence Logics
Kai Sauerwald, Juha Kontinen, Arne Meier
This paper establishes and proves complexity results for entailment for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. As rec…
cs.LO2026
Representation Theorems for Cumulative Propositional Dependence Logics
Juha Kontinen, Arne Meier, Kai Sauerwald
This paper establishes and proves representation theorems for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. Cumulative logic…