zbMATH — the first resource for mathematics

Total public announcements. (English) Zbl 1132.03322
Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 498-511 (2007).
Summary: 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 \(\text{S}5_{n}\) featuring 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.
For the entire collection see [Zbl 1121.03005].
03B42 Logics of knowledge and belief (including belief change)
68T27 Logic in artificial intelligence
Full Text: DOI