A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle

Bogdan Macovei
(University of Bucharest)

Epistemic protocols represents a current field of interest, with numerous approaches still being studied. In this paper we formalize parallel sessions of the The Muddy Children Puzzle using Public Observation Logic, a system that allows epistemic update. We consider agents with roles in multiple sessions and the information update in all parallel sessions as new information is discovered in any particular session.

In Horaţiu Cheval, Laurenţiu Leuştean and Andrei Sipoş: Proceedings 7th Symposium on Working Formal Methods (FROM 2023), Bucharest, Romania, 21-22 September 2023, Electronic Proceedings in Theoretical Computer Science 389, pp. 56–64.
Published: 22nd September 2023.

ArXived at: https://dx.doi.org/10.4204/EPTCS.389.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org