Modal Theorem 4.2

برابر انگلیک (انگلیسی): Modal Theorem 4.2
دیسه‌ای
◊◊𝐴≡◊𝐴
◊◊A≡◊A


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