Modal Axiom Convergent

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


تاربرگ‌های پیموده‌شده در این نشست: چندی‌گر ماشین خودکار درتاهش سخت‌گیر Modal Theorem D.1 نگره‌ی آوین