TitleLogic of Information Flow on Communication Channels
AuthorsWang, Yanjing
Sietsma, Floor
van Eijck, Jan
AffiliationPeking Univ, Dept Philosophy, Beijing 100871, Peoples R China.
KeywordsKNOWLEDGE
Issue Date2011
CitationDECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VIII (DALT).6619(130-147).
AbstractIn this paper, we develop an epistemic logic for specifying and reasoning about information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modeling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our logic to the standard DEL and IS approaches and demonstrate its use by studying a telephone call communication scenario.
URIhttp://hdl.handle.net/20.500.11897/406316
ISSN0302-9743
DOI10.1007/978-3-642-20715-0_8
IndexedEI
CPCI-S(ISTP)
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.