A modal logic of quantification and substitution - Venema, Yde (Dep. of Philos., 1993)