Quantification in nonclassical logic v1 - Gabbay D M; Shehtman V B; Skvortsov D P (Amsterdam Elsevier, 2009)
Keywords: Nonclassical mathematic logic