Nächste Seite: Aufgabe 68 Vorige Seite: Übungen zu Kapitel 4

Aufgabe 67

Zeige, daß in einer Wissenslogik mit einer transitiven Erreichbarkeitsrelation das Axiom der positiven Introspektion, , gilt.

Zeige, daß in einer Wissenslogik mit einer euklidischen Erreichbarkeitsrelation das Axiom der negativen Introspektion, , gilt.

Zeige, daß in einer Wissenslogik mit einer symmetrischen Erreichbarkeitsrelation das Brower Axiom, , gilt.

Die Erreichbarkeitsrelation in einer Wissenslogik heißt seriell, wenn es zu jeder Welt eine Welt mit gibt. Zeige, daß bei einer transitiven Erreichbarkeitsrelation das Axiom, , gilt.

Zeige, daß in einer Wissenslogik mit einer beliebigen Erreichbarkeitsrelation das Axiom , gilt.