Hidden protocols
Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang · 2011
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.