Modallogik/Modell/Realisiere Ausdruck/Aufgabe

1. Skizziere ein modallogisches Modell, bei dem es verschiedene Weltpunkte ${}v,w$ mit

   $v\vDash \neg \Box p$

   und

   $w\vDash \Box \Box p\wedge \Diamond p\wedge \Diamond \neg p$

   gibt.

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

Zur Lösung, Alternative Lösung erstellen