Words: modal logic
Part of speech: n
Definition: a system of logic whose formal properties resemble certain moral and epistemological concepts