n. A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation. [ PJC ]