Modal Axiom B

برابر انگلیک (انگلیسی): Modal Axiom B
دیسه‌ای
𝐴⊃□◊𝐴
A⊃□◊A


تاربرگ‌های پیموده‌شده در این نشست: گروه آبلی کاژیمیژ آیدوکویچ برنده‌ی راستی جان ام. ای. مک‌تاگارات آپارگر بستار جبر هیتینگ