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“.