Modal logic extends classical logic by introducing modalities, which are operators that qualify the truth of a proposition, such as necessity and possibility. This allows for more nuanced reasoning about statements, particularly in contexts involving time, knowledge, obligation, and possibility.