Modal Axiom Convergent

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


تاربرگ‌های پیموده‌شده در این نشست: The completeness of the axioms of the logical function calculus کم‌زور‌سازی پنداشت ارستو از هستی کاژیمیش کوراتوفسکی گویایی E Modal Axiom 5