``That will do'': logics of deontic necessity and sufficiency (Q1706805): Difference between revisions

A logic for deontic necessity and sufficiency was introduced by \textit{J. F. A. K. van Benthem} [Bull. Sect. Logic, Pol. Acad. Sci. 8, 36--42 (1979; Zbl 0408.03016)]. The author compares this logic with the logic of `obligation as weakest permission' [\textit{A. J. J. Anglberger} et al., Rev. Symb. Log. 8, No. 4, 807--827 (2015; Zbl 1375.03007)] and considers some of its standard extensions. The central point is a sound and complete axiomatization of this logic accompanied with appropriate argumentation and important properties.