van Ditmarsch, Hans and Ghosh, Sujata and Verbrugge, Rineke and Wang, Yanjing
In Proceedings of Conference on Theoretical Aspects of Rationality and Knowledge (TARK) 2011, 2011
Publication year: 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.

(largely extended journal version of the TARK2011 paper)