A Dynamic Approach to Temporal Normative Logic

State commands refer to states, not actions. They have a temporal dimension explicitly or implicitly. They indirectly change what we are permitted, forbidden or obligated to do. This paper presents DTNL, a deontic logic meant to handle state commands based on the branching-time temporal logic PCTL∗. The models of DTNL are trees with bad states, which are identified by a propositional constant b introduced in the language. To model state commands, a dynamic operator that adds states to the extension of b is introduced