After this deadline, the silent agent will not be considered as a potential team member anymore. Combining dynamic deontic logic and temporal logic for the specification of deadlines . In the new framework we use a branching dense temporal framework as a basis to specify both actions and obligations. Finally we show that all types of deadlines that were defined for the discrete temporal framework can also be defined for dense time. It is also clear that deadlines involve a temporal element and an action element.
Every deadline specifies some temporal condition before which an action has to be performed.
Therefore the modeling framework should contain some type of action descriptions as well as some temporal concepts. This can be done relatively easy in the case of a discrete temporal framework. In that case actions are performed in lockstep and the duration of an action is one or more time units. Combiningdynamic deontic logic and temporal logic for the specification of deadlines . Usually obligations on actions carry a time aspect indicating that the action should be performed before a certain deadline.