KR2022Proceedings of the 19th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning

Haifa, Israel. July 31–August 5, 2022.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-01-0

Sponsored by
Published by

Copyright © 2022 International Joint Conferences on Artificial Intelligence Organization

Dynamic Deontic Logic for Permitted Announcements

  1. Xu Li(University of Luxembourg)
  2. Dov Gabbay(King’s College London, University of Luxembourg)
  3. Réka Markovich(University of Luxembourg)

Keywords

  1. Reasoning about knowledge, beliefs, and other mental attitudes
  2. Reasoning about actions and change, action languages
  3. Belief revision and update, belief merging, information fusion
  4. Computational aspects of knowledge representation

Abstract

In this paper, we introduce and study a dynamic deontic logic for permitted announcements. In our logic framework, it is permitted to announce something if announcing it would not lead to forbidden knowledge. It is shown that the logic is not compact, and we propose a sound and weakly complete Hilbert-style axiomatisation. We also study the computational complexity of the model checking problem and the decidability of the satisfiability problem. Finally, we introduce a neighbourhood semantics with a strongly complete axiomatisation.