Modallogik/Modell/Realisiere Ausdruck/Aufgabe
- Skizziere ein modallogisches Modell, bei dem es verschiedene Weltpunkte mit
und
gibt.
- Was ist die minimale Anzahl von Welten in einem modallogischen Modell, in dem die Anforderungen aus 1) realisierbar sind.