An alternative axiomatization of DEL and its applications

Authors:
Yanjing Wang;Guillaume Aucher
Affiliations:
Department of Philosophy, Peking University;Department of Computer Science, Université de Rennes 1, INRIA
Venue:
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Year:
2013

Citing 8
Cited 1

Reasoning about knowledge

Reasoning about knowledge
Modal logic

Modal logic
Reasoning about Information Change

Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Distributed Processes and the Logic of Knowledge

Proceedings of the Conference on Logic of Programs
Complete Axiomatizations for Reasoning about Knowledge and Time

SIAM Journal on Computing
Dynamic Epistemic Logic

Dynamic Epistemic Logic
Hidden protocols

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

Hidden protocols: Modifying our expectations in an evolving world

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.