1. Aceto, L., Fokkink, W., & Verhoef, C. (2001). Structural operational semantics. In J. A. Bergstra, A. Ponse, & S. A. Smolka (Eds.), Handbook of process algebra. Amsterdam: Elsevier.
2. Balbiani, P., Baltag, A., van D., H., Herzig, A., Hoshi, T., & de Lima, Tiago. (2008). Knowable’ as ‘known after an announcement. The Review of Symbolic Logic, 1(3), 305–334.
3. Baltag, A., & Moss, L. S. (2004). Logics for epistemic programs. Synthese, 139(2), 165–224.
4. Baltag, A., Moss, L. S., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In I. Gilboa (Eds..), Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK VII) (pp. 43–56), Evanston, Illinois, USA.
5. Baltag, A., van Ditmarsch, H. P., & Moss, L. S. (2008). Epistemic logic and information update. In P. Adriaans & J. van Benthem (Eds.), Handbook on the philosophy of information (pp. 369–463). Amsterdam: Elsevier.