Knowledge and Action in Semi-public Environments
We introduce and study the notion of a Public Environment: a system in which a publicly known program is executed in an environment that is partially observable to agents in the system. Although agents do not directly have access to all variables in the system, they may come to know the values of unobserved variables because they know how the program is manipulating these variables. We develop a logic for reasoning about Public Environments, and an axiomatization of the logic.
KeywordsCommon Knowledge Sequential Composition Program Variable Kripke Model Boolean Expression
Unable to display preview. Download preview PDF.
- 1.Baltag, A., Moss, L.S., Solecki, S.: The logic of common knowledge, public announcements, and private suspicions. In: Gilboa, I. (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), pp. 43–56 (1998)Google Scholar
- 5.van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic epistemic logic with assignments. In: AAMAS 2005, pp. 141–148 (2005)Google Scholar
- 9.Sietsma, F.: Model checking for dynamic epistemic logic with factual change. Tech. rep., UvA and CWI, Amsterdam (2007), http://homepages.cwi.nl/~sietsma/papers/mcdelfc.pdf