Modal Axiom Convergent

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