DS4

(from the article `applied logic`) 2.DS4 (the deontic analogue of Lewis` system S4). To M one adds the axiom:
Found on http://www.britannica.com/eb/a-z/d/78
No exact match found