# A process algebraic framework for multi-agent dynamic epistemic systems

arXiv: https://arxiv.org/abs/2407.17537 · HTML: https://mlsanity.com/paper/2407.17537/

## 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 (most cited first, 3 of 3)

- [A Gentle Introduction to Epistemic Planning: The DEL Approach](https://mlsanity.com/paper/1703.02192/) (2017)
- [Logics of Temporal-Epistemic Actions](https://mlsanity.com/paper/1411.6279/) (2014)
- [Trace Equivalence and Epistemic Logic to Express Security Properties](https://mlsanity.com/paper/1903.03719/) (2019)

## 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.