1. Saveliev, D.I., Shapirovsky, I.B.: On modal logics of model-theoretic relations. Studia Logica (2019, accepted). arXiv: 1804.09810
2. Perspectives in Mathematical Logic,1985
3. Hamkins, J.D., Löwe, B.: The modal logic of forcing. Trans. Am. Math. Soc. 360(4), 1793–1817 (2008)
4. Montague, R.: Reduction of higher-order logic. In: Symposium on the Theory of Models, pp. 251–264. North-Holland, Amsterdam (1965)
5. Drake, F.R.: Set theory: an introduction to large cardinals. In: Studies in Logic and the Foundations of Mathematics, vol. 76. North-Holland, Amsterdam, Oxford, New York (1974)