A process algebraic framework for multi-agent dynamic epistemic systems

Alessandro Aldini

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 an…