1. Aucher, G.: BMS revisited. In: Heifetz, A. (ed.) TARK, pp. 24–33 (2009)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Baltag, A., Moss, L.S.: Logic for epistemic programs. Synthese 139(2), 165–224 (2004)
4. Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: Gilboa, I. (ed.) TARK, pp. 43–56. Morgan Kaufmann (1998)
5. Billot, A., Vergnaud, J.-C., Walliser, B.: Multiagent belief revision. J. Math. Econ. 59, 47–57 (2015)