Questions relating to deductions relating to the expressions "it is necessary that" and "it is possible that"

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."

For more information, see these links: