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))$
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))$
Copyright © 2021 JogjaFile Inc.