صورت منطقی

حوزه‏ای در نظریۀ حاکمیت و مرجع‏گزینی و برنامۀ کمینه‏گرا که در آن سیطرۀ سورها (quantifier) و عناصر شبیه به آن تعیین می‌شود