Deontic logic allow us to translate:
AMC = Oa
The use of deontic logic allows a forceful restatement of Arrow’s difficulty in social choice:
Oa & ~a
Let us consider some more properties of morality and deontic logic.
The gap between Is and Ought (Sein und Sollen) means the rejection of
p p