1. Fine, Kit, ‘The permutation principle in quantificational logic’, Journal of Philosophical Logic 12: 33–37, 1983.
2. Garson, James W., ‘Quantification in modal logic’, in Gabbay, D.M., Guenthner, F. (eds.), Handbook of Philosophical Logic, Vol. 3, 2nd edn., Kluwer Academic Publishers, Dordrecht, 2001, pp. 267–323.
3. Goldblatt, Robert, Mares, Edwin D., ‘A general semantics for quantified modal logic’, in Governatori, Guido, Hodkinson, Ian, Venema, Yde (eds.), Advances in Modal Logic, Vol. 6, College Publications, London, 2006, pp. 227–246.
http://www.aiml.net/volumes/volume6/
.
4. Kripke, Saul A., ‘Semantical considerations on modal logic’, Acta Philosophica Fennica, 16: 83–94, 1963.
5. Makinson, D.C., ‘Some embedding theorems for modal logic’, Notre Dame Journal of Formal Logic, 12: 252–254, 1971.