Modal Axiom 5
دیسه‌ای
◊𝐴⊃□◊𝐴
◊A⊃□◊A


تاربرگ‌های پیموده‌شده در این نشست: Alan Ross Anderson ⟩ idempotent ⟩ monotonicity ⟩ Mohammad ibn Musa al-Khwarizmi