Don't ever do that! Long-term duties in PD_eL
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.
- Don’t Ever Do That! Long-Term Duties in PD e L
- scientific article; zbMATH DE number 6845469
- scientific article; zbMATH DE number 2038897
- scientific article; zbMATH DE number 2038898
- scientific article; zbMATH DE number 1759312
- How not to create an isogeny-based PAKE
- scientific article; zbMATH DE number 4772
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- Dynamic logic for reasoning about actions and agents
- scientific article; zbMATH DE number 4179343 (Why is no real title available?)
- scientific article; zbMATH DE number 1233702 (Why is no real title available?)
- scientific article; zbMATH DE number 1032009 (Why is no real title available?)
- The dynamic logic of permission
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)