Common knowledge in update logics

Authors:
Johan van Benthem;Jan van Eijck;Barteld Kooi
Affiliations:
University of Amsterdam, TV Amsterdam, The Netherlands;CWI, GB Amsterdam;University of Groningen, GL Groningen, The Netherlands
Venue:
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Year:
2005

Citing 5
Cited 1

Reasoning about knowledge

Reasoning about knowledge
Common knowledge and update in finite environments

Information and Computation
Dynamic Logic

Dynamic Logic
The logic of public announcements, common knowledge, and private suspicions

The logic of public announcements, common knowledge, and private suspicions
A Knowledge Based Semantics of Messages

Journal of Logic, Language and Information

Total Public Announcements

LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.