Don't ever do that! Long-term duties in \(PD_{e}L\)
Meyer's propositional deontic logic \(PD_eL\) presents deontic operators in the framework of dynamic logic enlarged with a propositional constant for `a violation has occurred'. Prohibition and obligation are there understood as active in the current state, rather than in the future. The paper under review considers the introduction into \(PD_eL\) of `long term' deontic operators that legislate for the future. Long-term prohibitions `don't ever do such-and-such' appear to be conceptually straightforward and easy to integrate into the framework of \(PD_eL\) but, as the authors observe, long-term obligations are more subtle conceptually and likewise formally tricky. The paper explores one way of effecting their integration, and comments on its shortcomings.
scientific article; zbMATH DE number 5306428