بنداشت D
همچنین شناخته شده با: اصل D
برابر انگلیک (انگلیسی): Modal Axiom D
دیسه‌ای
□𝐴⊃◊𝐴
□A⊃◊A


تاربرگ‌های پیموده‌شده در این نشست: بی‌کنشی چندبارگی ⟩ Modal Theorem K.1 ⟩ آی‌بی‌ام