Reduction axioms for epistemic actions
Barteld P. Kooi, Johan van Benthem · University of Groningen research database (University of Groningen / Centre for Information Technology) · 2004
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. In this paper we propose new versions that extend the underlying static epistemic language in such a way that dynamic completeness proofs can be obtained by perspicuous reduction axioms.