Deontic modal logic is a specialized field within modal logic that rigorously examines concepts of obligation, permission, and prohibition. It…