1. Lewis, C. I., and C. H. Langford, Symbolic Logic, 2nd edition, Dover, New York, 1959.
2. Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, vol. 78 of Graduate Texts in Mathematics, Springer, New York, 1981.
3. Bell, J. L., and A. B. Slomson, Models and Ultraproducts: An Introduction, North-Holland, Amsterdam, 1969.
4. Chalmers, D. J., and F. Jackson, “Conceptual analysis and reductive explanation,” Philosophical Review, vol. 110 (2001), pp. 315–61.
5. Cresswell, M. J., “A canonical model for S2,” Logique et Analyse (N.S.), vol. 97 (1982), pp. 3–7.