Dynamisch-epistemische Axiome

• Kp ? K(p ? q) ? <F>Kq

• <F>Kp, wobei p Tautologie

• Nicht-Vergessen: Kp ?[F]Kp, p persistent

• Ferner: K4 für <F> (S4: unechte Denkhandlung)

• Intendierte Semantik: Baumstruktur. Übergang zwischen 2 Informationszuständen (Knoten) durch Denkhandlung.

• <F>[F]p ?[F]<F>p interessant (Konfluenz)

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen