Modelowanie działań i norm w logice deontycznej

In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present the most important paradigms, including the logic of actions, where actions are interpreted as transitions between the situations and STIT logic, which states only the responsibility of the agent for particular states of affairs. We discuss questions of determinism and indeterminism of actions, identification of basic actions and operations and the issue of identity. The final part of the paper is devoted to deontic categories. In particular, the applicability of the concepts of strong and weak permission and prohibition in different situational contexts, and their relationship to the two concepts of obligation: abstract and derived.