1. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
2. Brünnler, K., Deep sequent systems for modal logic, Archive for Mathematical Logic 48:551–577, 2009.
3. Brünnler, K., and T. Studer, Syntactic cut-elimination for common knowledge, Annals of Pure and Applied Logic 160(1):82–95, 2009.
4. Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, Clarendon Press, 1997
5. van Ditmarsch, H., B. P. Kooi, and W. Hoek, Dynamic Epistemic Logic, Cambridge University Press, 2007.