PP-2019-14: Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Arbitrary Public Announcement Logic with Memory 1.Full Text, 2.Abstract, 3.Trade edition. < Back