with Goldblatt, R. , 2009, Commutativity of quantifiers in varying-domain Kripke models, in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 9-30.