deontic logic: the modal logic of obligation and permissibility
modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
urbanity: polished courtesy; elegance of manner