If a groupware system is to be effectively used, especially over a wide-are network such as the Internet, where the quality of networking and computing resources are unpredictable...
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...