1. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
2. Boolos, G., The Logic of Provability, Cambridge University Press, New York and Cambridge, 1993.
3. Bull, R. A., ‘On modal logic with propositional quantifiers’, The Journal of Symbolic Logic 34:257–263, 1969.
4. Buss, S. R. (ed.), Handbook of Proof Theory, Elsevier, Amsterdam, 1998.
5. Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1998.