TitleReasoning about protocol change and knowledge
AuthorsWang, Yanjing
AffiliationDepartment of Philosophy, Peking University, Beijing 100871, China
Issue Date2011
Citation4th Indian Conference on Logic and Its Applications, ICLA 2011.Delhi, India,6521 LNAI(189-203).
AbstractIn social interactions, protocols govern our behaviour 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. ? 2011 Springer-Verlag.
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®

Checked on Last Week


Checked on Current Time


Checked on Current Time

Google Scholar™

License: See PKU IR operational policies.