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

گویایی سویی گزاره‌ای

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