An Alternative Axiomatization of DEL and Its Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

An Alternative Axiomatization of DEL and Its Applications


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.
Fichier principal
Vignette du fichier
IJCAI2013b.pdf (712.18 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-00856470 , version 1 (01-09-2013)


  • HAL Id : hal-00856470 , version 1


Yanjing Wang, Guillaume Aucher. An Alternative Axiomatization of DEL and Its Applications. IJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China. ⟨hal-00856470⟩
421 View
167 Download


Gmail Facebook X LinkedIn More