دیسول بارکن

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

جستارهای پیونددار کنشمندگروی