A Modal logic quantifications and substitution door Y. Venema