Formal Analysis of Responsibility Attribution in a Multimodal Framework

Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility

“…We will use a formal language L that is described by a set of primitive symbols and a grammar to build well-formed expressions. This will turn out to be a variation of the multimodal language employed for a formal analysis of responsibility in [Glavaničová and Pascucci, 2019].…”

“…We describe below the models inspired by relating semantics for modal logic that will be used in this article to interpret the formal language L. These will be simply called relating models. A comparison with the original relating models for normative reasoning in [Jarmużek and Klonowski, 2020], as well as with the models used in [Glavaničová and Pascucci, 2019] to interpret a variation of L and here called synonymy models, is offered below.…”

“…Strictly relating models are those that we will use to simulate the semantic approach to the formal analysis of responsibility ascription carried out in [Glavaničová and Pascucci, 2019]. Before proceeding to this, a further clarifying note is needed.…”

“…In fact, the core of our contribution is a formal comparison between models of a certain version of relating semantics, here simply called relating models, and models endowed with a relation of propositional synonymy, here simply called synonymy models. The latter are taken from [Glavaničová and Pascucci, 2019], where they are used to interpret a multimodal language and reason on various notions of responsibility. The discussion of these two semantics occupies Sections 2-5.…”

“…In Section 6, inheriting the aims of the formal analysis of responsibility carried out in [Glavaničová and Pascucci, 2019], we employ our logical apparatus involving fine-grained notions of obligation and causal contribution to capture new normative notions. In particular, we define notions of:…”