دیسول بارکن (1946) همچنین شناخته شده با: فرمول بارکن، فرمول بارکان برابر انگلیک (انگلیسی): Barcan formula دیسهای ∀𝑥 □𝐴𝑥⊃ □∀𝑥 𝐴𝑥∀x □Ax⊃ □∀x Ax جستارهای پیونددار کنشمندگروی