Nächste Seite: Aufgabe 69
Vorige Seite: Aufgabe 67
Zeige, daß es sich bei jedem Modell im
Ansatz von
Reiter und Levesque im Abschnitt 4.2.4 um eine
Kripkestruktur der
schwachen Variante der Modallogik S5 handelt.
Christoph Quix, Thomas List, René Soiron
30. September 1996