An Alternative Axiomatization of DEL and Its Applications

Yanjing Wang 1 Guillaume Aucher 2
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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.
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-00856470
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 1, 2013 - 1:43:31 AM
Last modification on : Friday, November 16, 2018 - 1:22:29 AM
Long-term archiving on : Thursday, April 6, 2017 - 11:21:43 AM

File

IJCAI2013b.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00856470, version 1

Citation

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⟩

Share

Metrics

Record views

543

Files downloads

237