1. Ågotnes, T. (2004). A logic of finite syntactic epistemic states. Ph.D. thesis, Department of Informatics, University of Bergen, Norway.
2. Ågotnes, T., & Alechina, N. (2006). Knowing minimum/maximum n formulae. In G. Brewka, S. Coradeschi, A. Perini, & P. Traverso (Eds.) Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006). pp. 317–321, IOS Press.
3. Ågotnes T., Alechina N. (2007) The dynamics of syntactic knowledge. Journal of Logic and Computation 17(1): 83–116
4. Ågotnes, T., & Walther, D. (2007). Towards a logic of strategic ability under bounded memory. In Proceedings of the Workshop on Logics for Resource-Bounded Agents.
5. Albore, A., Alechina, N., Bertoli, P., Ghidini, C., Logan, B., & Serafini L., (2006). Model-checking memory requirements of resource-bounded reasoners. In Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006). pp. 213–218, AAAI Press.