1. [3] Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2001.
2. [1] Barwise, K. J., “Axioms for abstract model theory,” Annals of Mathematical Logic, vol. 7 (1974), pp. 221–65.
3. [2] Barwise, J., “Model-Theoretic Logics: Background and Aims,” pp. 3–23 in Model-Theoretic Logics, edited by J. Barwise and S. Feferman, vol. 8 of Perspectives in Mathematical Logic, Springer, New York, 1985.
4. [4] Caicedo, X., “Continuous operations on spaces of structures,” pp. 263–96 in Quantifiers: Logics, Models and Computation, Vol. 1: Surveys, edited by M. Krynicki, M. Mostowski, and L. W. Szczerba, vol. 248of Synthese Library, Kluwer, Dordrecht, 1995.
5. [5] Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, Oxford University Press, New York, 1997.