common knowledge axiomas in LKEC :

(A6) Ej « K1j Ù ... Ù Kmj

(A7) Cj ® j

(A8) Cj ® CEj

(A9) (Cj Ù C(j ® y)) ® Cy

(A10) C(j ® Ej) ® (j ® Cj)

(R3) j  Cj

m

Previous slide

Next slide

Back to first slide

View graphic version