deontic logic: the modal logic of obligation and permissibility
modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
battering: the act of subjecting to strong attack