Modal logic is a branch of logic that deals with the logical relationships between modalities, or modes of truth, such as possibility, necessity, and contingency. It is concerned with how modal statements are evaluated and how they interact with other statements.