هاگرد دیسول بارکن
همچنین شناخته شده با: عکس فرمول بارکن
برابر انگلیک (انگلیسی): converse of Barcan formula
دیسه‌ای
□∀𝑥 𝐴𝑥 ⊃ ∀𝑥 □𝐴𝑥
□∀x Ax ⊃ ∀x □Ax


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