Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators

Open in new window