Ought-Implies-Can 及 Deontic STIT 逻辑的多样性
计算机科学中的逻辑
2026-04-02 v1
摘要
STIT 逻辑是分析多代理选择行为的主要框架。在可用的 deontic STIT 扩展中，Ought-Implies-Can (OiC) 原则发挥核心作用。然而，在哲学文献中，已提出并讨论了多种替代 OiC 诠释。本文提供一种模块化 deontic STIT 框架，以覆盖多种 OiC 诠释。在 particular，我们讨论、比较并形式化了十种此类诠释。我们为所有涉及这些 OiC 原则的各种 STIT 逻辑提供完备且 sound 的 sequent 风格计算法。我们形式化地分析所得逻辑并讨论不同 OiC 原则之间的逻辑关系。特别是，我们提出一种 endorsement 原则，描述哪些 OiC 诠释在逻辑上承诺其他 OiC 诠释。
引用
@article{arxiv.2604.00967,
title = {The Varieties of Ought-Implies-Can and Deontic STIT Logic},
author = {Kees van Berkel and Tim S. Lyon},
journal= {arXiv preprint arXiv:2604.00967},
year = {2026}
}
备注
Published at Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021. URL to Published Version: https://www.collegepublications.co.uk/DEON/Van%20Berkel%20%26%20Lyon_DEON2020.pdf