Total Public Announcements

Authors:
David Steiner;Thomas Studer
Affiliations:
Universität Bern, Institut für Informatik und angewandte Mathematik, Neubrückstrasse 10, CH-3012 Bern,;Universität Bern, Institut für Informatik und angewandte Mathematik, Neubrückstrasse 10, CH-3012 Bern,
Venue:
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Year:
2007

Citing 6
Cited 1

Reasoning about knowledge

Reasoning about knowledge
Reasoning about Information Change

Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Common knowledge in update logics

TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Logics of communication and change

Information and Computation
Dynamic Epistemic Logic

Dynamic Epistemic Logic

Coalgebraic announcement logics

ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead to an inconsistent state. We introduce an extension of the multi-modal logic S5nfeaturing total public announcements where an update cannot result in an inconsistency. We also study total public announcements in the context of common knowledge and relativized common knowledge.