Proof of Axiom of Transparency in Aumman's model of knowledge

99 Views Asked by At

Could someone provide a proof of the axiom of transparency for Aumman's knowledge model taking as primitive the information function? I do know how to do the inverse inclusion but not the following:

$K(E)\subseteq K(K(E))$