This paper presents a logic-based framework to analyze responsibility, which I refer to as intentional epistemic act-utilitarian stit theory (IEAUST). To be precise, IEAUST is used to model and syntactically characterize various modes of responsibility, where by 'modes of responsibility' I mean instances of Broersen's three categories of responsibility (causal, informational, and motivational responsibility), cast against the background of particular deontic contexts. IEAUST is obtained by integrating a modal language to express the following components of responsibility on stit models: agency, epistemic notions, intentionality, and different senses of obligation. With such a language, I characterize the components of responsibility using particular formulas. Then, adopting a compositional approach -- where complex modalities are built out of more basic ones -- these characterizations of the components are used to formalize the aforementioned modes of responsibility.

翻译：本文提出一种基于逻辑的责任分析框架，我称之为意向性认知行动后果型斯提特理论（IEAUST）。确切而言，IEAUST用于建模并句法刻画责任的不同模态，其中"责任模态"指布罗尔森三类责任（因果责任、信息责任与动机责任）在特定道义语境中的具体实例。该理论通过整合模态语言，在斯提特（stit）模型上表达责任的以下构成要素：能动性、认知概念、意向性及不同层面的义务。借助该语言，我使用特定公式表征责任的构成要素。继而采用组合方法——即基于基本模态构建复合模态——利用这些要素的表征形式，对前述责任模态进行形式化处理。