Georg Meggle
(AK-B)* B(P,,f,r) GW(P,B(P,,f,r))
f-Tun hat in P in -Situationen nur dann die Bedeutung,
dass H dem S zufolge r tun soll, wenn gilt: Es ist Gemein-
sames Wissen in P, dass f-Tun in P in -Situationen diese
Bedeutung hat.
Auch diese Forderung ist natürlich wegen der ansonsten resultierenden
Zirkularität nicht direkt in eine definierende Bedingung umsetzbar. Aber
sie führt uns sogleich zu einer solchen – sobald wir uns nur daran erin-
nern, welche weitere Bedingung für B(P,,f,r) ebenfalls schon als notwen-
dig ausgewiesen ist: B
o
(P,,f,r). Mit der gleichen Argumentation wie eben
ergibt sich somit, dass außer
(0) B(P,,f,r) B
o
(P,,f,r)))
auch
(1) B(P,,f,r) GW
1
(P,B
o
(P,,f,r))
und somit auch
(2) ...