Modal Axiom B

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