PPT Slide

Consider a non-simultaneous run ... s s` ... in a strongly connected model M with (M,s`) Cj:

(M,s) Cj Þ (M,s) ECj Þ (M,s) KiCj.

then for every step s s` in the run there is an agenti with (s , s`) Î Ri Ù (s`, s) Î Ri:

(M,s) Cj Þ (M,s) KiCj Þ (M,s`) Cj

(M,s`) Cj Þ (M,s`) KiCj Þ (M,s) Cj

So common knowledge is constant for every steps s` in a non-simultaneous run.

constant common knowledge

Previous slide

Next slide

Back to first slide

View graphic version