Dynamic-Epistemic Spatial Logic
Radu Mardare, Corrado Priami · Unitn Eprints Research (Università Degli Studi di Trento) · 2006
In this paper we combine features of dynamic-epistemic logics with the spatial logics in order to obtain a decidable, fully axiomatized logic for expressing information flow in distributed multi-agent systems. Thus, Dynamic Epistemic Spatial Logic is as an extension of Hennessy-Milner logic with spatial and epistemic operators.