A set of axioms governing modal logic.