گویایی شونی چندی‌گذارده

همچنین شناخته شده با: منطق موجهات محمولی
برابر انگلیک (انگلیسی): Quantified modal logic