1. Baltag, Alexandru: 1999, ‘A Logic of Epistemic Actions’, (Electronic) Proceedings of the FACAS workshop, held at ESSLLI’99, Utrecht University, Utrecht.
2. Baltag, Alexandru: 2001, ‘Logics for Insecure Communication’, in J. van Bentham (ed.) Proceedings of the Eighth Conference on Rationality and Knowledge (TARK’01), Morgan Kaufmann, Los Altos, pp. 111–122.
3. Baltag, Alexandru: 2002, ‘A Logic for Suspicious Players: Epistemic Actions and Belief Updates in Games’, Bulletin Of Economic Research 54(1), 1–46.
4. Baltag, Alexandru: 2003, ‘A Coalgebraic Semantics for Epistemic Programs’, in Proceedings of CMCS’03, Electronic Notes in Theoretical Computer Science 82(1), 315–335.
5. Baltag, Alexandru: 2003, Logics for Communication: Reasoning about Information Flow in Dialogue Games. Course presented at NASSLLI’03. Available at http://www.indiana.edu/~nasslli.