Hidden protocols

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a logic to reason about knowledge in such scenarios.

Authors

• Hans van Ditmarsch
• Sujata Ghosh
• Rineke Verbrugge
• Yanjing Wang 0001

Keywords

• communication protocols
• dynamic epistemic logic
• information hiding