سامانه سویی چندی‌گذارده
همچنین شناخته شده با: سیستم موجهاتی تسویری
برابر انگلیک (انگلیسی): quantified modal system


تاربرگ‌های پیموده‌شده در این نشست: خشنودی‌پذیری ⟩ گویایی نایکنواخت ⟩ واکاوی گویاییگ-تاریخی فرااستواره گودل در گویایی سویی ⟩ بنداشت K ⟩ زیرهنگرد ⟩ آغاز انگارش