deontic logic: the modal logic of obligation and permissibility
modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
artificial heart: a pump that replaces the natural heart