An Alternative Axiomatization of DEL and Its Applications
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 1139-1145.
Abstract
In 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.
@inproceedings{ijcai2013p172,
title = {An Alternative Axiomatization of DEL and Its Applications},
author = {Wang, Yanjing and Aucher, Guillaume},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {1139--1145},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/172},
}
TY - CPAPER TI - An Alternative Axiomatization of DEL and Its Applications AU - Wang, Yanjing AU - Aucher, Guillaume T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 1139 EP - 1145 UR - https://ijcai.org/proceedings/2013/172 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
