Answer
Modal logic, as the answer suggests, is the field of logic that Saul Kripke made significant contributions to. This branch of logic deals with modalities, which are operators that express possibility, necessity, permission, and obligation. Kripke's work in modal logic includes the development of Kripke semantics, which provides a formal framework for representing and reasoning about modal propositions.