Attention! Dynamic Epistemic Logic Models of (In)attentive Agents

In Figure 3, the two outgoing dotted edges from the box labelled ⌘ 1 ?, ⌘ 1 6 (upper left box) are incorrect and should be removed. The rest of the edges are correct (and have been computationally veried. The small Python program that we used to verify that the edges are correct can be found here: https://tinyurl.com/5ekjmsud).