deontic logic: the modal logic of obligation and permissibility
modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
intro: a brief introductory passage to a piece of popular music