Raisonnements sur la permission de dire

Our goal is to formalize what "having the permission to say" means. We adapt the dynamic logic of permission considered by van der Meyden in the particular case where atomic actions are public and truthful announcements. Hence, we extend the logic of public announcements introduced by Plaza, that enables us to express the ways agents update their knowledge… CONTINUE READING