The submodel restriction used in public announcement logic is identical in structure to Bayesian con...