"Quantification in Nonclassical Logic Draft" - читать интересную книгу автора (Gabbay D., Shehtman V., Skvortsov D.)