deontic logic

Noun

 * 1)  The study of obligation, permission, and related concepts.
 * 2)  A formal system capturing the concepts of obligation and permission.

Related terms

 * modal logic

Translations

 * Czech: deontická logika