Privacy in Arrow Update Logic

Studies in Logic, Vol. 13, No. 6 (2020): 63–88    PII: 1674-3202(2020)-06-0063-26

Yanjun Li

Abstract. Arrow Update Logic is a theory of epistemic access elimination that can be used to reason about multi-agent belief change. In Arrow Update Logic, it is common knowledge among agents how each will process incoming information. This paper develops the basic theory of Arrow Update Logic to deal with private announcements. In this framework, the information is private for an agent group. Moreover, this paper proposes a labelled tableau calculus for this logic and also shows that this logic is decidable.