资源分类
》 资源 》论文》An Alternative Axiomatization of DEL and Its Applications? Yanjing Wang Guillaume Aucher

An Alternative Axiomatization of DEL and Its Applications? Yanjing Wang Guillaume Aucher

2019-11-11 | |  69 |   43 |   0
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.

上一篇：A Classification of First-Order Progressable Action Theories in Situation Calculus

下一篇：Knowing that, Knowing what, and Public Communication: Public Announcement Logic with Kv Operators

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...