Silvio Ghilardi, Marek W. Zawadowski: Undefinability of propositional quantifiers in the modal system S4. Stud Logica 55(2): 259-271 (1995)