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.
URIhttp://hdl.handle.net/20.500.11897/329457
DOI10.1007/978-3-642-18026-2_16
IndexedEI
Appears in Collections:哲学系(宗教学系)

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

Web of Science®



Checked on Last Week

Scopus®



Checked on Current Time

百度学术™



Checked on Current Time

Google Scholar™





License: See PKU IR operational policies.