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.
| Original language | English |
|---|---|
| Title of host publication | 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 |
| Publisher | International Joint Conferences on Artificial Intelligence |
| Pages | 226-235 |
| Number of pages | 10 |
| ISBN (Electronic) | 9781956792010 |
| State | Published - 2022 |
| Externally published | Yes |
| Event | 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 - Haifa, Israel Duration: 31 Jul 2022 → 5 Aug 2022 |
Publication series
| Name | 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 |
|---|
Conference
| Conference | 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 |
|---|---|
| Country/Territory | Israel |
| City | Haifa |
| Period | 31/07/22 → 5/08/22 |
Bibliographical note
Publisher Copyright:© 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022. All rights reserved.
Funding
We thank Leendert van der Torre for valuable discussions and comments on earlier drafts of this paper. We also thank three anonymous reviewers of KR 2022 for insightful remarks and Llio Humphreys for proofreading the paper. This work was supported by the Fonds National de la Recherche Luxembourg through the project Deontic Logic for Epistemic Rights (OPEN O20/14776480).
| Funders | Funder number |
|---|---|
| Fonds National de la Recherche Luxembourg |