Commutativity of quantifiers in varying-domain Kripke models

2009

Robert Goldblatt, Ian Hodkinson

in: Towards mathematical philosophy, Berlin,