1
On the Complexity of Entailment for Cumulative Propositional Dependence Logics
研究累积命题依赖逻辑中蕴涵问题的计算复杂度，揭示理论计算机科学前沿进展。
arXiv:2605.21113v1 Announce Type: cross Abstract: This paper establishes and proves complexity results for entailment for cumulative propositional dep…