About

Modal logic is an extension of propositional and predicate logic that expresses modalities, which are qualifications to a statement. The most commonly used modalities in mathematics are "possibly," "necessary," and "impossibly."

history | show excerpt | excerpt history