Wang, Yanjing
In Proceedings of International Conference on Logic and its Applications (ICLA) 2011, 2011
Publication year: 2011

Abstract. In social interactions, protocols govern our behavior and assign meaning to actions. In this paper, we investigate the dynamics of protocols and their epistemic effects. We develop two logics, inspired by Propositional Dynamic Logic (PDL) and Public Announcement Logic (PAL), for reasoning about protocol change and knowledge updates. We show that these two logics can be translated back to the standard PDL and PAL respectively.