Don't ever do that! Long-term duties in PD_eL

From MaRDI portal
Publication:935022





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.











This page was built for publication: Don't ever do that! Long-term duties in \(PD_{e}L\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q935022)