Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express the essence of what communication achieves. We present some methods that yield so-called reduction axioms for common knowledge. We investigate the expressive power of public announcement logic with relativized common knowledge, and present reduction axioms that give a detailed account of the dynamics of common knowledge in some major communication types.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Being Realistic About Common Knowledge: A Lewisian Approach.Cedric Paternotte - 2011 - Synthese 183 (2):249-276.
Added to index2009-01-28
Total downloads21 ( #236,877 of 2,168,955 )
Recent downloads (6 months)1 ( #346,364 of 2,168,955 )
How can I increase my downloads?