We present a multi-agent logic of belief and announcements wherein the sending of announcements and the reception of announcements by agents are separated, thus straying from the paradigm of Public Announcement Logic (PAL). Both PAL and Asynchronous Announcement Logic (recently proposed in the literature) are special cases in our framework. We provide a history-based semantics for our ‘Partially Synchronous Announcement Logic’, proposing three different interpretations of the notion of asynchronicity. We then show that the logic of our three proposals is the same (‘PSAL’) and prove soundness and completeness for a Hilbert-style axiomatisation. Finally, we propose a notion of common belief for this framework, of which we give some validities.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com