Modal Theorem T.2

برابر انگلیک (انگلیسی): Modal Theorem T.2
دیسه‌ای
◊(𝐴⊃□𝐴)
◊(A⊃□A)


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem K.2 برنامه‌ی هیلبرت اندرهازش یک انگاشته بَوَندَگی سامانه سویی چندی‌گذارده گویایی‌های فروآموزگاهی