DEONTIC LOGIC





Definition:

  1. [noun] the modal logic of obligation and permissibility

Synonyms: