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


تاربرگ‌های پیموده‌شده در این نشست: آگاهشی ⟩ ماکسول جان کرسول ⟩ بنداشت بی‌پایانی ⟩ ادموند گتیه ⟩ کوچکترین کران بالا ⟩ بنداشت هنگرد توانی