Modallogik/K/S4 nicht S5/Modell/Aufgabe

Links hinzufügen
Aus Wikiversity

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=845883“