A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle

EPTCS 389, 2023, pp. 56-64 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...

Full description

Saved in:
Bibliographic Details
Main Author Macovei, Bogdan
Format Journal Article
LanguageEnglish
Published 24.09.2023
Subjects
Computer Science - Logic in Computer Science
Online AccessGet full text

Cover

More Information
Summary:EPTCS 389, 2023, pp. 56-64 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.
DOI:10.48550/arxiv.2309.13799