TitleAn alternative axiomatization of DEL and its applications
AuthorsWang, Yanjing
Aucher, Guillaume
AffiliationDepartment of Philosophy, Peking University, China
Department of Computer Science, Universit?? de Rennes 1, INRIA, France
Issue Date2013
Citation23rd International Joint Conference on Artificial Intelligence, IJCAI 2013.Beijing, China.
AbstractIn this paper, we provide a new axiomatization of the event-model-based Dynamic Epistemic Logic, based on the completeness proof method proposed in [Wang and Cao, 2013]. This axiomatization does not use any of the standard reduction axioms, but naturally captures the essence of the update product. We demonstrate the use of our new axiomatization and the corresponding proof techniques by three sets of results: characterization theorems of the update operations, representation theorems of the DEL-generatable epistemic temporal structures given a fixed event model, and a complete axiomatization of DEL on models with protocols.
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

License: See PKU IR operational policies.