Undefinability of propositional quantifiers in the modal system S4
scientific article; zbMATH DE number 819335