关于累积命题依赖逻辑 entailment 的复杂度
计算机科学中的逻辑
2026-05-21 v1 人工智能
摘要
本文为累积命题依赖逻辑以及基于团队语义的累积命题逻辑的 entailment 问题 establish 并 证明了复杂度结果。如最近所示，累积逻辑以 System~C 著名特征化，正好由 Kraus、Lehmann 和 Magidor 的累积模型恰好捕获。这导致通过关系模型的 entailment 问题，本文特别考虑了这一问题。
关键词
引用
@article{arxiv.2605.21113,
title = {On the Complexity of Entailment for Cumulative Propositional Dependence Logics},
author = {Kai Sauerwald and Juha Kontinen and Arne Meier},
journal= {arXiv preprint arXiv:2605.21113},
year = {2026}
}
备注
arXiv admin note: substantial text overlap with arXiv:2602.21360