Modal Axiom 5

دیسه‌ای
◊𝐴⊃□◊𝐴
◊A⊃□◊A