Quantification In Nonclassical Logic by Dimitrij Skvortsov & Professor Dov M. Gabbay