A system of logic whose formal properties resemble certain moral and epistemological concepts English: modal logic