Modal Theorem 4.2

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


تاربرگ‌های پیموده‌شده در این نشست: کامندگی بنداشت جداسازی بازبرد کلارنس ایروینگ لوییس هستیال‌گروی Modal System B