(from the article `applied logic`) ...the case`; and O( ) for `It is obligatory that be the case.` In a systematization of deontic logic, it is necessary to take only one of these ... ...expressions), applicable mechanically, in the sense that a machine could check whether a candidate satisfies the requirements. This spe...