Quantification in Nonclassical Logic