… a refinement of STIT logic to make it suitable to model causal agency and responsibility in
… We do this by supplementing STIT semantics, first, with action types and, second, with a …

… recent years stit logic has been considered as a useful tool for the logic of … -logical properties
we should reasonably want for a stit logic, and more careful to the manageability of the logic …

… of stit models, it follows that there exist stit models for which there is no corresponding
game model. Hence, there might be cases where the analysis of moral responsibility using stit …

… probabilistic STIT logic and two probabilistic responsibility … The logic we will introduce below
is a timeless STIT logic. It … in the context of STIT, what we call responsibility has been called …

… responsibility, namely, a responsibility … ) responsibility in legal systems, and can be useful
in the governance of multiagent systems. Our analysis uses the STIT logic of action (the logic of …

… 2 The Action Logic with Opposing \( \textsf{ALO}_n\) In this section, we introduce a STIT
logic with action types and a relation of opposing between them. We start, in Sect. 3.2.1, by …

… very rich stit logic to analyze responsibility, which I refer to as intentional epistemic act-utilitarian
stit … to model and syntactically characterize various modes of responsibility. By ‘modes of …

… We present a logic of responsibility. Extending stit theory with epistemic, doxastic, deontic,
and intentional modalities, we provide logic-based characterizations of several modes of …

… To that end, we define a formal stit logic. The acronym s t i t stands for ‘seeing to it that’,
referring to the central modality of the logic that expresses that groups of agent are responsible …

… legal responsibility is not the same as moral responsibility. A father can be legally responsible
… introduce the base stit logic and then extend this logic to allow for non-determinate effects. …