Modallogik/K/S4 nicht S5/Modell/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige durch Angabe eines modallogischen Modelles, dass das System S4 nicht äquivalent zum System S5

ist.
Eine Lösung erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Modallogik/K/S4_nicht_S5/Modell/Aufgabe&oldid=450728“