Rich deontic logic: a preliminary study

This paper begins the development of new types of deontic operators, particularly ones whose semantic characterization is based on models with forward-branching time. In such models, supplemented by a choice function to model human agency, and an obligation function to introduce normative features, it is possible to develop a rich language with a variety of obligation operators, differing from one another in how they relate to time, and to the causal conditions, the causal consequences, and the logical consequences of actions. We approach these concepts making extensive use of the notion of a transition, as introduced in M. Xu, Synthese 112 (1997) 137].