Cheklangan kvantorlar mantiqi mantiqqa kiradi va ma'lum bir to'plamdagi elementlar ustida to'g'ri keladigan ifodalar bilan ishlaydi. Bu mantiqda ikki asosiy kvantor ishlatiladi: mavjudlik kvantori (∃) va umumlashma kvantori (∀)