
Anhang – Ergänzungen
Und wieder die entsprechenden Begriffe für ein Gemeinsames (de re)
Wissen:
D18.l GW (X,P,A) := W(X,A)
D18.m GW (X,P,A) := Λx(xєP GW (X,P,GW (X,P,A)))
D18.n GW
re
(X,P,A) := ΛnGW (X,P,A)
D18.o GW
re
(P,A) := Λx(xєP GW
re
(x,P,A)))
Und da
(**) Λx(xP GW
re
(x,P,A)) ΛnΛx(xP GG (x,P,A))
dürfen wir auch wieder setzen:
D18.p GW (P,A) := Λx(xP GW (x,P,A))
Aufgrund dieser Bestimmungen gilt nun auch wieder:
L.G1’ GW
re
(P,A) GG
re
(P,A) A
Und anders als bei GW
n
(P,A) – vgl. oben A.1 – gilt für ein durch
GW (P,A) ausgedrücktes gemeinsames Wissen n-ter Stufe auch das fo