هاگرد دیسول بارکن

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