Mathematical foundations Logic of play as discussed here raises issues of how to interfaces local with global dynamics. This shows in particular with logical limit behavior, where observations and assertions are made repeatedly. Limit models of public announcement, as described earlier, can be ‘self-fulfilling’ or ’self-refuting’. In the first case, the property asserted becomes common knowledge among all agents, whereas in the second it eventually becomes false at the actual world. With soft up