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

Yanjing Wang, Jie Fan

Browse the full IJCAI paper archive.