deontic logic

from WordNet (r) 3.0 (2006)
deontic logic
    n 1: the modal logic of obligation and permissibility
    

[email protected]