  Note that interpreting modal operators as quantifiers over possible  worlds provides a nice theoretical justification for the usual  definition of the possibility operator in terms of necessity,  specifically: 