تاریخچه و فرگشت

گویایی شونی گزاره‌ای

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