Dynamic Deontic Logic for Permitted Announcements

Published in 19th International Conference on Principles of Knowledge Representation and Reasoning, KR2022, 2022