带串性、代理独立性或确定性约束的联盟逻辑完备性研究
计算机科学与博弈论
2025-09-12 v2 逻辑
摘要
联盟逻辑是战略推理领域的核心逻辑。在最近的一篇论文中，Li和Ju指出，一般情况下，联盟逻辑的模型——并发游戏模型——有三个过于强的假设：串性、代理独立性和确定性。他们提出了基于一般并发游戏模型（不包含这三个假设）的最小联盟逻辑。然而，在构建针对特定情境的战略推理联盟逻辑时，我们可能希望保留其中一些假设。因此，研究带有这些假设之一的联盟逻辑是有意义的。本文我们以统一的方式展示了这些联盟逻辑的完备性。
引用
@article{arxiv.2409.14635,
title = {Completeness of coalition logics with seriality, independence of agents, or determinism},
author = {Yinfeng Li and Fengkui Ju},
journal= {arXiv preprint arXiv:2409.14635},
year = {2025}
}