A process algebraic framework for multi-agent dynamic epistemic systems
<|reference_start|>A process algebraic framework for multi-agent dynamic epistemic systems: 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.<|reference_end|>
@article{aldini2024a,
    title={A process algebraic framework for multi-agent dynamic epistemic systems},
    author={Alessandro Aldini},
    journal={arXiv preprint arXiv:2407.17537},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.17537},
    primaryClass={cs.AI cs.FL cs.LO}
}