gif gif up gif contents index
Nächste Seite: Aufgabe 69 Vorige Seite: Aufgabe 67

Aufgabe 68

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