1. Ågotnes, T. (2004). A logic of finite syntactic epistemic states. PhD Thesis, Department of Informatics, University of Bergen, Norway.
2. Ågotnes T. and Alechina N. (2007). The dynamics of syntactic knowledge. Journal of Logic and Computation 17(1): 83–116
3. Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2007). Completeness and complexity of multi-modal CTL. In C. Areces & S. Demri (Eds.), Proceedings of the 5th Workshop on Methods for Modalities (M4M5) (pp. 75–90).
4. Alechina, N., Dastani, M., Logan, B., & Meyer, J.-J. C. (2007). A logic of agent programs. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007) (pp. 795–800).
5. Alechina, N., & Logan, B. (2002). Ascribing beliefs to resource bounded agents. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002) (Vol. 2, pp. 881–888). Bologna.