1. Ågotnes, T. (2004). A logic of finite syntactic epistemic states. Ph.D. thesis, Department of Informatics, University of Bergen.
2. Ågotnes, T., & Walicki, M. (2006a). Complete axiomatizations of finite syntactic epistemic states. In M. Baldoni, U. Endriss, A. Omicini, & P. Torroni (Eds.), Declarative agent languages and technologies III: Third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. LNCS, Vol. 3904 pp. 33–50.
3. Ågotnes, T., & Walicki, M. (2006b). Strongly complete axiomatizations of “knowing at most” in syntactic structures. In F. Toni, & P. Torroni (Eds.), Computational logic in multi-agent systems, 6-the international workshop, CLIMA 2005, London, Selected and Revised Papers. LNAI, Vol. 3900, pp. 57–76.
4. Alechina, N., Logan, B., & Whitsey, M. (2004). A complete and decidable logic for resource-bounded agents. In 3rd Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’04).
5. Anderson, M. L., Gomaa, W., Grant, J., & Perlis, D. (2005). On the reasoning of real-world agents: toward a semantics of active logic. In 7-th Annual Symposium on the Logical Formalization of Commonsense Reasoning. Corfu, Greece.