A process algebraic framework for multi-agent dynamic epistemic systems
Not on the map. Why?
Abstract (arXiv)
This paper combines the classical model of labeled transition systems with the epistemic model for reasoning about knowledge. The result is a unifying framework for modeling and analyzing multi-agent, knowledge-based, dynamic systems. On the modeling side, we propose a process algebraic, agent-oriented specification language that makes such a framework easy to use for practical purposes. On the verification side, we define a modal logic encompassing temporal and epistemic operators.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 3 of its 41 references that are in the map. First posted on arXiv 24 Jul 2024.
Builds on
3 of 41 references.
References · 3
- 2017A Gentle Introduction to Epistemic Planning: The DEL Approachcited by 9
- 2014Logics of Temporal-Epistemic Actionscited by 2
- 2019Trace Equivalence and Epistemic Logic to Express Security Propertiescited by 1
Built on by
Not cited yet.