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