Dynamic Logic for Multi-agent (Mis) Communication | IEEE Conference Publication | IEEE Xplore