the modal logic of obligation and permissibility.

• 讨论义务与权容的模态逻辑。