Veränderliche Welten und modale Ausdrucksweisen

Zusammenfassung

In der klassischen Logik wurden Eigenschaften jeweils eines Modelles beschrieben. Im Gegensatz dazu ist es die Grundvorstellung modallogischer Betrachtungen, gleichzeitig ein ganzes System möglicher Welten oder denkbarer Situationen zu erfassen. Dabei stehen diese Welten nicht völlig zusammenhangslos nebeneinander, sondern es bestehen unter Umständen verschiedene Übergangsmöglichkeiten von einer Welt oder Situation zu einigen anderen. Dies könnte etwa durch eine die Welt verändernde Handlung oder einfach durch zeitlichen Fortschritt geschehen. Modellhaft kann man diese intuitive Vorstellung von Welten und Übergangsmöglichkeiten mit einem Graphen beschreiben, in dem die einzelnen Welten durch Knoten und die Übergangsmöglichkeiten durch gerichtete Pfeile dargestellt werden.