Tag Info

The intersection itself is not terribly interesting, what matters here is only that it is not empty- that it contains some state. To know event $E$ means that one does not consider it possible that the event $E$ does not obtain and that $E$ does indeed obtain. Since the true state is always considered possible, that $i$ knows $E$ at $\omega$ means that $\...