1. Blackburn, P., de Rijke, M., & Venema, Y. (2002). Modal logic. Cambridge University Press, Cambridge
2. Boolos, G. (1996). The hardest logic puzzle ever. The Harvard Review of Philosophy, 6, 62–65.
3. Clarke, E. M., Grumberg, O., & Peled, D. A. (1999). Model Checking. Cambridge, MA: The MIT Press.
4. French, T., van der, Hoek, W., Iliev, P., & Kooi, B. P. (2011). Succinctness of epistemic languages. In: T. Walsh (Ed.) Proceedings of the twenty-second international joint conference on artificial intelligence (IJCAI), pp 881–886.
5. Gerbrandy, J., & Groeneveld, W. (1997). Reasoning about information change. Journal of Logic, Language and Information 6(2), 147–169.