1. Prawitz, D.: On the idea of a general proof theory. Synthese 27(1–2), 63–77 (1974)
2. van Benthem, J., van Eijck, J., Kooi, B.P.: Logics of communication and change. Inf. Comput. 204(11), 1620–1662 (2006)
3. Balbiani, P., Guiraud, N., Herzig, A., Lorini, E.: Agents that speak: modelling communicative plans and information sources in a logic of announcements. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, vol. 1-3, pp. 1207–1208, (2011)
4. Sonenberg, L., Stone, P., Tumer, K., Yolum, P. (eds.): 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Vol. 1-3. IFAAMAS (2011)
5. Balbiani, P., Seban, P.: Reasoning about permitted announcements. J. Philosophical Logic 40(4), 445–472 (2011)