Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst. So lassen sich innerhalb der Modallogik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analysieren, sondern auch Aussagen wie „Möglicherweise regnet es“ und „Notwendigerweise sind alle Kreise rund“.
Mit den Begriffen „möglich“ und „notwendig“ bietet die Sprache neben „wahr“ und „falsch“ eine zusätzliche Möglichkeit, Aussagen zu charakterisieren: Manche falsche Aussagen sind doch möglich, manche wahre Aussagen sind darüber hinaus notwendig. Wenn wir feststellen wollen, ob eine Aussage möglich ist, können wir versuchen uns eine Situation vorzustellen, in der die Aussage wahr ist. Wir können uns beispielsweise vorstellen, dass es Menschen mit grüner Haut gäbe, die Aussage „Manche Menschen haben grüne Haut“ ist daher möglich.