本文深入探讨了累积命题依赖逻辑和团队语义中蕴含的复杂度。它为这些逻辑系统建立并证明了特定的复杂度结果。该研究利用关系模型来解决蕴含问题，并将这些发现与 Kraus、Lehmann 和 Magidor 提出的 System C 和累积模型联系起来。 AI
影响 这项研究为逻辑学的理论基础做出了贡献，这可能间接影响需要形式推理的领域中未来人工智能的发展。
排序理由 该集群包含一篇在 arXiv 上发表的关于逻辑学理论研究的学术论文。
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
arXiv:2605.21113v1 Announce Type: cross Abstract: This paper establishes and proves complexity results for entailment for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. As recently shown, cumulative logics are famously charac…
This paper establishes and proves complexity results for entailment for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. As recently shown, cumulative logics are famously characterised by System~C and exactly captured by the cu…