A Dynamic-Epistemic Logic for Mobile Structured Agents

Anya Yermakova, Alexandru Baltag

Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logic (DEL), one of the formalisms designed to reason about such…