Dynamic Epistemic Logic with Communication Actions

Mario Roberto Folhadela Benevides, Isaque Macalam Saab Lima

This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek a…