Modal Theorem T.1

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


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