Die Modallogik ist ein Unterfeld der Logik

In der Modallogik haben Aussagen zusätzlich zu ihrer Wahrheitswert auch Modalitäten

Die Modallogik untersucht die impliziten Annahmen oder Modi, die außerhalb des Textes liegen

Eines der Hauptwerkzeuge der Modallogik ist die Kripke-Semantik

Modallogik kann in verschiedenen Disziplinen wie Philosophie, Informatik und Linguistik verwendet werden.