Problems and results for logics about imperatives (Q598542)

Alongside the dominant `possible worlds' tradition for the semantic analysis of deontic logic, there are also some alternative ones. One of these is an `imperative' account going back to the early 1960s. On this approach, the truth-value of a deontic assertion \(Oa\), modulo a fixed set \(S\) of propositions representing a normative code, is determined by the presence or absence of a suitable deductive relation between \(S\) and \(a\). In an earlier paper [``Sets, sentences, and some logics about imperatives'', Fundam. Inform. 48, 205--226 (2001; Zbl 0995.03018)] the author showed how several well-known axiomatic systems of deontic logic, both monadic and dyadic, can be reconstructed in this manner. In the present paper, he gives a systematic review of constructions in the literature, for monadic deontic logic only, that use imperative semantics. These make variant choices of the `suitable deductive relation'. For each of them he proves soundness and completeness with respect to a corresponding axiom system.