Modallogik/Modell/Realisiere Ausdruck/Aufgabe

  1. Skizziere ein modallogisches Modell, bei dem es verschiedene Weltpunkte mit

    und

    gibt.

  2. Was ist die minimale Anzahl von Welten in einem modallogischen Modell, in dem die Anforderungen aus 1) realisierbar sind.