Modal Axiom Convergent

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


تاربرگ‌های پیموده‌شده در این نشست: Modal Axiom Trivail Modal Axiom 5 Modal Axiom B جبر سویی Modal System S4