Seite parallel anzeigen





Du befindest dich hier: Logik Einführung / Beispiele

Modallogiken

(Logik Einführung Kapitel 9.4)

Diese Seite nimmt Bezug auf

(Seite parallel anzeigen)
Liste überspringen
Zum Seitenanfang

Modallogiken sind nichtklassischen Logiken.

Sie enthalten, zusätzlich zu den Elementen der Prädikatenlogik, Operatoren mit denen Modalitäten wie z.B. "möglich", "notwendig", "immer (in der Zukunft)", oder "manchmal/irgendwann (in der Zukunft)" ausgedrückt werden können.

Beispiel - Mögliche modallogische Aussagen

Neben Sätzen wie
  • "Es regnet"
kann auch mit Sätzen der Form
  • "Irgendwann wird es regnen"
  • "Möglicherweise wird es regnen"
umgegangen werden.

Beispiel - Die Wumpus-Welt in einer Modallogik

Grundlage ist wieder die Wumpus-Welt.

Wird auf Feld [B,1] ein Luftzug wahrgenommen, könnten wir in einer Modallogik ausdrücken, dass
  • "Möglicherweise befindet sich eine Fallgrube auf Feld [C,1]"