A branch of modal logic exploring modes of truth beyond necessity and possibility. It encompasses deontic logic (duty/permission) and epistemic…