STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings.

翻译：STIT逻辑是分析多主体选择行为的著名框架。在现有的道义STIT扩展中,"应当蕴含能够"(Ought-implies-Can, OiC)原则发挥着核心作用。然而,哲学文献中已提出并讨论了多种不同的OiC解释。本文为道义STIT提供了模块化框架,涵盖了多种OiC读法。具体而言,我们讨论、比较并形式化了十种此类读法。我们为所有包含这些OiC原则的各类STIT逻辑提供了可靠且完全的矢列式演算。本文对由此产生的逻辑进行了形式分析,并讨论了不同OiC原则之间的逻辑关联。特别地,我们提出了一种"承诺原则",用以描述哪些OiC读法在逻辑上蕴含其他OiC读法。