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