"Quantification in nonclassical logic." - читать интересную книгу автора (Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman)