Modal logic extends classical logic to express nuances like necessity and possibility. It provides a formal way to reason about what must be true, could be true, or is known to be true across different 'possible worlds'. See also Epistemology Metaphysics Truth Semantics